[kani] Upgrade verifier to 0.67.0 - #3645

[kani] Upgrade verifier to 0.67.0#3645

joshlf wants to merge 1 commit into

maingoogle/zerocopy:mainfrom

Gfdfm7an47cyz2scdlmc6lpej7h2q5qlxgoogle/zerocopy:Gfdfm7an47cyz2scdlmc6lpej7h2q5qlxCopy head branch name to clipboard