Added TreePRNG.hash() method.