Setting options.random to false does not make it play the same game deterministically

[ripred]

When options.random is false the game should repeatedly play the same game identified by the PRNG seed.