Fixes #820 Generate 50-bit hashes instead of 64 bit hashes in the
hashed key generator. This ensures that the resulting key will fit in a
double when index keys are generated.