refactor: use cargo verus instead of Verus

[Marsman1996]

No description provided.

[rikosellic]

Maybe we can add a description in the README that this is a thin wrapper of cargo verus that extends some functionalities like fmt.

[rikosellic]

Please wait until I try this on Windows.

[rikosellic]

It works on my machine as before. The only observable difference in behaviour is that cargo dv verify --targets ostd will now not re-verify if nothing has changed, but this is actually a bug in the old dv. Glad to see that this is finally fixed.

[rikosellic]

Two suggestions:

1. Can we align the behaviour of cargo dv verify with cargo verus verify when no targets are provided? verus verify will just verify all crates, our old design seems to be no-op.
2. cargo dv clean seems redundant now, cargo clean will do all the things.

[Marsman1996]

2. cargo dv clean seems redundant now, cargo clean will do all the things.

I almost forget this command, since the Makefile only uses cargo clean now

[rikosellic]

May be we can just remove cargo dv clean?

[Marsman1996]

May be we can just remove cargo dv clean?

But it's weird to have only build/verify without clean for a new user (if there is any🤣)

[rikosellic]

Indeed, not a big issue.

[rikosellic]

LGTM!