cargo-verify: minor cleanup
cargo-verify: minor cleanup

This comment should have been deleted when the line it refers to was removed

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools