Handle errors in parsing state space
Incorporate StateSpaceLoader into reachability graph

* Now we get useful errors for this too
* Add ability to add action listeners to the radio buttons
Fix typo