Don't instrument optimized code; let people run it at their own risk, since the bulk of prototyping (and thus non-termination failures) should be done with /preoptimize or /compile