VSA: Move the old integer optimization for SI into _wrapped_unsigned_mul() and _wrapped_signed_mul()
VSA: Move the old integer optimization for SI into _wrapped_unsigned_mul() and _wrapped_signed_mul()

angr/claripy,avain/claripy,chubbymaggie/claripy