Fix bug in editing a Place, can now press ok if no changing name
Fix bugs in reachability and add basic unit test for vanishing

* Vanishing states in second exploration should not take rate 1, should
  take state from last known transient state
* Needed to mark transition from transient states when doing vanishing
  exploraiton