Now checks the random_seed field in the database and uses it if not null. Note that a random seed specified on the command-line is allowed to override a random seed stored in the database.