[QuickCheck] Test of type Property doesn't report counter example

[Simon Hengel]

> I ran into an issue where a test that fails with an exception does not
> report the input given to that test.