Extend benchmark set.

* Added a large number of equivalence checks
* Parameterised Hanoi example