Optimized modulus using arithmetic with mixed integer sizes fails to simplify #4363

Optimized modulus that uses arithmetic on mixed integer sizes can fail to simplify into a
modulus expression.

Binaries with examples:

mixed_arith.zip

i8_mod_4k_arm64.dll: See 3, 5, 9, 17, 33, 65
i16_mod_4k_arm64.dll: See 3, 5, 9, 17, 33, 65, and others
u8_mod_4k_arm64.dll: See 3, 5, 9, 17, 33, 65
u16_mod_4k_arm64.dll: See 3, 5, 9, 17, 33, 65, and others
u32_mod_4k_x64.dylib: See 7, 11, 13, 19, 21, and others
u32_mod_4k_x64.so: See 7, 11, 13, 19, 21, and others
i32_mod_4k_x64.so: See 7, 11, 13, 19, 21, and others
i8_mod_4k_x64.dll: See 10, 12, 18, 20, 24, and others
i16_mod_4k_x64.dll: See 10, 12, 18, 20, 24, and others
u8_mod_4k_x64.dll: See 10, 12, 18, 20, 24, and others
u16_mod_4k_x64.dll: See 10, 12, 18, 20, 24, and others