Fixed an error that caused VCs to be improperly generated.  Some concurrency fixes to the new prover GUI.