Bump Kani version to 0.59.0#3876

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

carolynzech:release-kani-0.59.0carolynzech/kani:release-kani-0.59.0Copy head branch name to clipboard