Checker test for instruction_simplifier optimizations of integer remainder instructions.