[opt] strength reduce umod-by-shifted-bit#3673

cdleary wants to merge 1 commit intogoogle:maingoogle/xls:mainfrom

xlsynth:cdleary/2026-01-11-umodxlsynth/xlsynth:cdleary/2026-01-11-umodCopy head branch name to clipboard