Add 'kani verify-artifacts' subcommand#4600

lovesegfault wants to merge 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

lovesegfault:verify-onlylovesegfault/kani:verify-onlyCopy head branch name to clipboard