[opt] Add simplification for division by a bounded set of constants.#4101

copybara-service[bot] wants to merge 1 commit intomaingoogle/xls:mainfrom

test_896714610google/xls:test_896714610Copy head branch name to clipboard