Implement validity checks#3085

celinval merged 12 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:invalid_valuescelinval/kani-dev:invalid_valuesCopy head branch name to clipboard