Changes made to specify the use of RNG seeds, or saving seeds, via
the commandline. See commandlineparameters.h(cpp) for details.