Remove unused ReachabilitGraphFileHeader #49
Remove multi transition reading now state space only writes one
transition

* Rename MultiTransitionStateSpaceExploratioNReader to
  SeralizedStateSpaceExplorationReader
* Remove checking of results to see if transition exits
* Run all tests