Added two more mixers, and now we are done.

The current IntegerValue.hashCode() has a very good distribution of the bits.

There are some avalanching problems, but they are less of an issue for the hash tries.