UCT to use xor-shift randomness