Improve readability of psys tests

[pedrolamarao]

Currently, reading psys tests is rather crude, with lots of assignments on _test_control.
Let us encapsulate the test protocol in helper procedures with nice names.
To mark entry in a new test step, we may have test_step(number).
To assert, we may define the usual procedures such as test_eq(x,y).