mix64
Computes David Stafford variant 9 of 64bit mix function (MH3 finalization step, with different shifts and constants).
Variant 9 is picked because it contains two 32-bit shifts which could be possibly optimized into better machine code.
See also
"http://zimbry.blogspot.com/2011/09/better-bit-mixing-improving-on.html"