Added seed_rng() command to re-seed the pseudo-RNG.