Fixed: Removed incorrect Random usages.

[agpar]

It's supposed to be possible to have fully deterministic runs by setting Randoms.seed() before a run. However, in a few small instances, the Randoms class is not being used to generate random numbers. This would effectively break the determinism of runs in certain cases.