Deprecate --enable-unstable and --restrict-vtable#3859

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2279-rm-enable-unstablecelinval/kani-dev:issue-2279-rm-enable-unstableCopy head branch name to clipboard