To make specific test runs reproducible, the `gentest` CLI should print the PRNG seed as part of its output, and allow setting the seed explicitly.