add command line flag --no-randomize, part 2

in the presence of the flag, set the random number seed to 0