This code provides the means to test the laws of the typeclass Hashable for any instance.