See https://github.com/google/xls/pull/3882#issuecomment-4672856012 I am turning off the flag by default for now, but we should ideally get it to be faster and then turn it on by default.
See #3882 (comment)
I am turning off the flag by default for now, but we should ideally get it to be faster and then turn it on by default.