Kani: use -Z unstable-options instead of --enable-unstable#386

carolynzech merged 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:no-enable-unstabletautschnig/verify-rust-std:no-enable-unstableCopy head branch name to clipboard