tdd specs Hanoi prompt_user & valid_input? works