With this release, all functions now catch exceptions thrown inside their respective testing blocks.
Naturally, a thrown exception is treated as an automatic failure of the test case. If you wish to treat it as a passing case, see Property.invert and Property.expectFailure.
We've also added support for the existential quantifier exists in addition to the universal forAll.