Fixed a bug that caused the prover to freeze the UI and go into an infinite loop when it exhausted the proof search space.  Added a Minimization step after theory development but before main proof search.