Some tests for the TuringMachine object.