Fixed random_shuffle to use the same RNG as the game.