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