Add hashing. Add State.GetHashCode