A version of thm with testing disabled.
A macro that locally turns off cgen testing and then calls thm.
