Can't we use expectation current format? Maybe we can emit this:

```
    expected: property test with generated input ... (5 shrinks)
 to not raise: FooBar
```

Or something along those lines. It would be preferable to tweak it than adding a whole new format.