Add a simple termination condition to RedRec

This condition holds when the number of executions exceeds the height of
the resulting proof.