Fix state_test failure by fixing StateMachine responding to signals

This patch-set lets only one signal (ie operation call) through in a StateMachine (but only if the guards check out ok), which is then processed in the next execute/step cycle of the SM.

It also contains a minor patch for docs and ports.