Various progress + prover listeners now get called.