The Hypothesis time-limit checks intermittently fail the tests during local development

These checks are already disabled for CI because they make the test suite unreliable. As the test suite grows, the chance of them failing spuriously during local development increases.

Disable them for local development just as they are disabled for CI.