bigger hashes

32 bit hashes as we currently use them have a >1% hash collision prob. at 10k hashes (which we will pretty surely have)

mentioned in merge request !191 (merged)

closed via merge request !191 (merged)

mentioned in commit facbceb1

mentioned in commit LHCb@6c9511b2