[Explicit State Access] Verify updated ir code for ExplicitStateAccess produces error assertions.#4128

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

test_901481163google/xls:test_901481163Copy head branch name to clipboard