Upgrade toolchain to nightly-2024-11-11#3710

qinheping merged 8 commits intomodel-checking:mainmodel-checking/kani:mainfrom

qinheping:toolchainqinheping/kani:toolchainCopy head branch name to clipboard