Bump Kani version to 0.64.0#4198

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

carolynzech:0.64.0-releasecarolynzech/kani:0.64.0-releaseCopy head branch name to clipboard