This patch fixes a bug where fuzz_one_input did not track the
"interesting_origin" of failures (issue #4420). As a result, it only
saved the single smallest failure to the database rather than the
smallest example of each distinct failure, and the
"interesting_origin" was missing from observability reports.
The canonical version of these notes (with links) is on readthedocs.