If contracts are disabled, don't execute any code in the check() function, either
Merge pull request #21 from cpennington/disable-check

If contracts are disabled, don't execute any code in the check() function, either.
Merge remote-tracking branch 'origin/master' into env_fault