Upgrade toolchain to nightly-2025-03-12#3933

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:toolchain-2025-03-08-manualtautschnig/kani:toolchain-2025-03-08-manualCopy head branch name to clipboard