The hash is 64 bits, but we only store the first 32 bits? This assertion misleads given the truncation.