Fixed a bug that caused the prover to freeze the UI and go into an infin...

...ite loop when it exhausted the proof search space.  Added a Minimization step after theory development but before main proof search.