Explicitly seed the random number generator.

Default seed = 0, so failure to use this option should not change prior runs.