https://github.com/lspector/Clojush/wiki/Tracing-a-Push-program-with-Clojush doesn't actually explain how to change the number of steps, it just sort of says "you're on your own" at the end.