More accurate error message when counterexample throws an exception
More accurate error message when counterexample throws an exception

Warbo/quickcheck,beni55/quickcheck,srhb/quickcheck,soenkehahn/quickcheck