Checks that unverified methods are not inlined.