Upgrade Rust toolchain to 2025-10-24#4426

tautschnig merged 7 commits intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:toolchain-2025-10-24-manualtautschnig/kani:toolchain-2025-10-24-manualCopy head branch name to clipboard