pub fn test_with_prop(
p: Prop,
max_size: MaxSize,
test_cases: TestCases,
rng: RNG
) -> Result<()>