Bump Kani version to 0.26.0#2393

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

karkhaz:kk-bump-kani-prkarkhaz/kani:kk-bump-kani-prCopy head branch name to clipboard