Add unstable option prove-safety-only#4239

tautschnig merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:assume-no-panictautschnig/kani:assume-no-panicCopy head branch name to clipboard