send start/end proof mode messages from within prover