Add an option to set different random number seeds.