[opt:ra] Range analysis for DynamicBitSlice#3671

cdleary wants to merge 2 commits intogoogle:maingoogle/xls:mainfrom

xlsynth:cdleary/2026-01-10-dynamic-bit-slice-raxlsynth/xlsynth:cdleary/2026-01-10-dynamic-bit-slice-raCopy head branch name to clipboard