Bump Kani version to 0.46.0#3013

feliperodri merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom

feliperodri:kani-0.46.0feliperodri/kani:kani-0.46.0Copy head branch name to clipboard