Add some tests for Hanoi