Bump dependencies for kani 0.23.0#2270

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

qinheping:bump-depsqinheping/kani:bump-depsCopy head branch name to clipboard