Hypothesis Files

The "Phase.explain" phase now also varies interactive draws from "data()", annotating each freely-variable "Draw n: ..." line with an "# or any other generated value" comment, just like "@given" arguments (issue [#4403]).

This release also fixes two explain-phase bugs: failing test cases found just as the set of possible inputs was fully enumerated were reported without running the "Phase.shrink" and "Phase.explain" phases, and the explain phase could fail to report that the commented parts can be varied together if the failing example ended with an uncommented part.

The canonical version of these notes (with links) is on readthedocs.