Since we're counting number of steps, switch to turing machines which maximize

#steps not #1s, and use a more traditional step count where the 'halt' step is
not counted.

llvm-svn: 182057