Docs still suggesting --enable-unstable --enable-stubbing

[fpoli]

The documentation of stubs still suggests --enable-unstable --enable-stubbing, but what worked for me was -Z stubbing.

I tried the following command line invocation:

cargo kani --enable-unstable --enable-stubbing

with Kani version: cargo-kani 0.59.0

I expected to see this happen: stubs being used

Instead, this happened:

error: unexpected argument '--enable-stubbing' found

  tip: a similar argument exists: '--enable-unstable'

Usage: cargo-kani --enable-unstable

For more information, try '--help'.

[zhassan-aws]

Good catch @fpoli! We will fix this.