Remove timeouts.

[bigeasy]

Not in use and not testable. If you need timeouts for Proof, just time out the whole program, not each step in the test. It's arbitrary, your choice of granularity.