rand/rand.c: Mix the pool key in `rand_gate' and `rand_stretch'.