Major-version update cargo dependencies#4615

tautschnig wants to merge 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:cargo-updatetautschnig/kani:cargo-updateCopy head branch name to clipboard