PropertyContext()
A PropertyContext is used when executing a propery test. It allows feedback and tracking of the state of the property test.