v0.0.0-5500-g9e21b5623

Fix umul-zero and bit-width issues in arith_simp

We incorrectly simplified code like X*0 == CONST causing mis-compiles.

PiperOrigin-RevId: 654178127