minimise prop tests: fix dead state bug in test oracle, add logging.
minimise prop tests: fix dead state bug in test oracle, add logging.

- Add a regression test.

- Fix a bug in the test oracle -- make sure the dead state's cells
  in the table are also compared against the other states, as in
  some cases this is necessary to continue propagation. Check for
  the dead state (which always leads to itself) before asserting
  that the from state ID is in range.

- Add logging to dump out the spec's states and edges, since they
  may have been modified by fsm_trim.

katef/libfsm,katef/libfsm,katef/libfsm,katef/libfsm,katef/libfsm