relax hash identity: we now use python's hash for the cache key, and properly handle hash collisions
relax hash identity: we now use python's hash for the cache key, and properly handle hash collisions

chubbymaggie/claripy,angr/claripy