RandomSeed: New Default and Saving Seed
At the moment, by default the seed "1" is used for random number generators. Instead, we would now prefer to use a random number as a seed but save the seed in the .scenario file of the output folder to enable reproducing the results.