Synchronize test/stressProof.cxx with the master version