Eliminate unused variable warnings in panic and unreachable macros#1583

zhassan-aws merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:fix-paniczhassan-aws/kani:fix-panicCopy head branch name to clipboard