I can see the inspiration; But then again, how much investment will be required to verify the verifier? (it's still code - and is generated my a non-determinist

I can see the inspiration; But then again, how much investment will be required to verify the verifier? (it's still code - and is generated my a non-deterministic system)