Bump Kani version to 0.48.0#3075

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:kani-0.48.0zhassan-aws/kani:kani-0.48.0Copy head branch name to clipboard