Update toolchain to 2025-05-22#4098

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

carolynzech:toolchain-05-22carolynzech/kani:toolchain-05-22Copy head branch name to clipboard