Introduce a kani macro for checking coverage#2011

zhassan-aws merged 6 commits intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:cover-propertieszhassan-aws/kani:cover-propertiesCopy head branch name to clipboard