The Importance of Human Reviewing Code

I doubt it. I don't think anyone's going to be like grasping onto, oh, my code. The problem with tests is that even 100% test coverage does not guarantee that you don't have bugs. So we have never in the history of programming found a system which successfully guarantees that this code does exactly what you want. And maybe the answer is that people end up actually valuing proofs more than they have before.