Don't use SipHash

The current implementation is broken and not likely to be fixed soon.
Don't use wang hash

It reduces the performance of Int a lot.