cargo-verify: print name of bcfile with -v
cargo-verify: print name of bcfile with -v

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