Changed behavior:
If "-s <seed>" is not specified, a timeofday-dependent random
seed will be used.

In any case, when in verbose mode, the random seed used will be
printed out at the beginning of the run.