Pass through u128 hashes to the hashmap

[bluss]

Since this u128 is already a good hash (from siphash13), use one part of it (lower u64 word) as the hash for the hashmap.

This is a draft, since it has not been benchmarked.