Design, run, and interpret bounded property-based tests when the user explicitly requests generated-input testing, invariants, or a property-testing campaign.
