This patch fixes a regression in version 6.170.1, where unique
collections of non-empty collections, such as
"st.sets(st.frozensets(st.integers(), min_size=1), min_size=1)", could
fail the "HealthCheck.large_base_example" health check (issue #4918).
The canonical version of these notes (with links) is on readthedocs.