Improve the clarity of printing counterexamples in stateful testing,
by avoiding confusing "Bundle" references with equivalent values drawn
from a regular strategy.
For example, we now print:
instead of
if the "unrelated" rule draws from a regular strategy such as
"integers()" instead of the "a" bundle.
The canonical version of these notes (with links) is on readthedocs.