Added a check for incorrect results returned from claripy.constraint_to_si() method.
Added a check for incorrect results returned from claripy.constraint_to_si() method.

f-prettyland/angr,schieb/angr,schieb/angr,angr/angr,angr/simuvex,schieb/angr,chubbymaggie/simuvex,tyb0807/angr,axt/angr,f-prettyland/angr,axt/angr,chubbymaggie/angr,zhuyue1314/simuvex,iamahuman/angr,iamahuman/angr,axt/angr,tyb0807/angr,chubbymaggie/angr,chubbymaggie/simuvex,tyb0807/angr,f-prettyland/angr,angr/angr,chubbymaggie/angr,iamahuman/angr,chubbymaggie/simuvex,angr/angr