Use deterministic testing instead of randomized tests.