Update to today's toolchain (2023-08-24)#2711

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-xxxx-toolchaincelinval/kani-dev:issue-xxxx-toolchainCopy head branch name to clipboard