Unit tests and property tests now call exitFailure on failure