Provide global depth & prover time feedbacks.
Better user feedback on replay queue, vs. searching queue.