Verifying correctness of hash code.