Upgrade toolchain to 2025-09-02#4333

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:toolchain-2025-09-02zhassan-aws/kani:toolchain-2025-09-02Copy head branch name to clipboard