Reduce the complexity of the `hanoi` example unit tests to speed up testing in `debug` mode