[InstSimplify] add no-wrap parameters to simplifyMul and add more tests; NFC

This gives mul the same capabilities as add/sub.
A potential improvement with nsw was noted in:
1720ec6d