[jasonmc]

Sure, but I'd be willing to bet that performance impact of the the verifier is insignificant for all but the most trivial of programs.