added support for detecting poison on Mul, SDiv, UDiv, shl, ashr and lshr instructions
noted that second operand to lshr and ashr instructions is an unsigned, not an APInt