Edits necessary to get things working once the verus crate-rename lands#3

parno merged 1 commit intomainverus-lang/verified-node-replication:mainfrom

crates-ioverus-lang/verified-node-replication:crates-ioCopy head branch name to clipboard