Merge changes I5c16c650,I3151fb6b

* changes:
  StateMachine: make toString() terser
  utiltests: add script to run tests