Extend benchmarks.

* Added a number of equivalence checking cases.
* Parameterised all model checking cases.
* Fix a few small mistakes
Merge branch 'master' of https://github.com/jkeiren/paritygame-generator