Upgrade toolchain to 2025-04-01#3973

carolynzech merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

carolynzech:2025-04-01-toolchaincarolynzech/kani:2025-04-01-toolchainCopy head branch name to clipboard