Upgrade Rust toolchain to 2025-06-18#4166

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

tautschnig:toolchain-2025-06-18-manualtautschnig/kani:toolchain-2025-06-18-manualCopy head branch name to clipboard