The status of a property test run.
In the case of a failure it provides the seed used for the test, the number of shrinks, and the execution log.