Fix property vs. property-fun type mistake

Shrinking was expecting the actual function under test, `report-trial`
and `report-failure` were both expecting a property.