Assess should work for standalone `kani`

Requested feature: Users should be able to invoke `kani assess <rust_file>`.
Use case: Users should be able to assess their crates in isolation.
Link to relevant documentation (Rust reference, Nomicon, RFC):

This also reduces the amount of divergence between `kani` and `cargo kani` flows.
