internal/tracecorpus and cmd/internal-tools/exploration-reach declared the same
24-line writeRun, identical apart from whether the seed was a parameter. The
package's charter is on it: a helper goes here once it has callers in two
packages, and stays in a package's own tests until then.
