Nesting "@given" inside of "@given" is now a health check failure.
Nesting "@given" results in quadratic generation and shrinking
behavior, and can usually be more cleanly expressed by replacing the
inner function with a "data()" parameter on the outer given. For more
details, see "nested_given". (issue #4167)
The canonical version of these notes (with links) is on readthedocs.