Random number generation now uses the Mersenne Twister algorithm; we also only ever use one RNG instance (might need to tweak later, but for now it's fine) per server. Resolves #341.