Remove the index check from statesToIndex #3

* We now just assume that state integer representations are from 0->N in
  +1 incrememnts, just like in a matrix
* This seriously speeds up the results
* All tests pass
Now that states determine their equality on their hashes we make
sharedHashes contain the state

* Saves some memory
* All tests pass
Change the size of explored sets for better collision avoidance
Remove debug utils
Add PNML files needed for Cucumber integration tests