Test IntMulMayOfloOp

This would have caught ghc#21624 (closed).

The only trouble is that this operation doesn't have a precise definition: it queries whether a multiplication "may" overflow but is free to always return a conservative result claiming an overflow will occur.