Print and load seed values

[graue]

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.