[opt] Reduce the size of the BDD ITE cache.#4126

copybara-service[bot] merged 1 commit intomaingoogle/xls:mainfrom

test_895402894google/xls:test_895402894Copy head branch name to clipboard