fn fuzzer_with_cases( seed: Option<U256>, cases: u32, max_global_rejects: u32, file_failure_persistence: Option<Box<dyn FailurePersistence>>, ) -> TestRunner