Feature request: automatically persist failure cases and prioritise their reproduction in the following test runs.

In property-based testing, any property should be guaranteed with maximum certainty, a fake assumption that passed all test by mistake may cause catastrophic damage much later.

As a result, failed property check should be automatically persisted to disk, and be given higher priority in the upcoming test runs. The history of all previous failures can be used to determine probability of random test cases being generated.

The current implementation is incapable of doing this, this can results in sporadic failures being ignored and accumulates.

We need an improved implementation to prevent it from happening.

The issue names no files, tests, or entry points; start by locating the current property-check implementation and its test suite. Define how failed cases are persisted and prioritized in later runs, then verify that sporadic failures are retained and reproduced with higher priority.