Upgrade toolchain to nightly-2025-01-22#3843

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

tautschnig:toolchain-2025-01-17-manualtautschnig/kani:toolchain-2025-01-17-manualCopy head branch name to clipboard