Fix concurrent Miller-Rabin to avoid the lock on a random source