Hash-related functions for U64, renamed OFChecksum128 to U128

Reviewer: @vaterlaus @Sovietaced @rlane