Added progress output during ProofAsstBatchTest command