Re: Remove IsaCoSy's builtin-in timeout

[Chris Warburton]

I've now patched IsaPlanner to handle timeouts during quickcheck. These
are treated in the same way as errors: we consider it to be a lack of
counterexample, and hence we return the given term as a candidate.

Running on a sample of size 100, we no longer get a timeout; but we do
get an 'Interrupt', which we may be able to handle in the same way.