Property tests: ignore generated values if they are too large

[Acaccia]

When building recursive values, it can happen that a test fails due to the generated value being too large.

There should be a way to use prop_filter to simply ignore those.

[moodmosaic]

Perhaps it would be more efficient to address this issue at the generator/strategy level, rather than relying on prop_filter to discard overly large values.

The concern with using prop_filter for discarding is that it might lead to running the properties fewer times than intended, as it eliminates test cases after they have been generated. This could potentially reduce the thoroughness of the tests. By adjusting the strategy, you can maintain both the efficiency of the test runs and the integrity of the testing process.