If contracts are disabled, don't execute any code in the check() function, either.