Verify asset versions, file agreements, attach briefs. Every one is ready to run, and you can adjust it in plain language.
Reopen the review task and point the reviewer to the new proof.
Your reviewer gets a task ready to review, with the replacement proof and its version named in a comment.
Post the current proof and review question on each ready task.
Your team gets a clear review packet on the task, or a visible note about what the proof still needs before a reviewer can act.