> ...what essentially is a code review for a very large change request with extremely convoluted code to be vetted bug free by only a handful of experts?

I kinda feel like this question answers itself. On the other hand, I can't imagine this quagmire lasting another century, but the machine-assisted proof ecosystem hasn't reached adolescence yet.