Update verita config after Anvil migrated to cargo verus (#2616)

Author: Catoverflow

tools/verita/run_configuration_all.toml

@@ -123,23 +123,7 @@ rustup target add x86_64-unknown-none --toolchain 1.96.0
 name = "anvil"
 git_url = "https://github.com/anvil-verifier/anvil"
 refspec = "main"
-crate_roots = ["src/esr_composition.rs"]
-extra_verus_args = ["--crate-type=lib", 
-              "-L", "dependency=src/deps_hack/target/debug/deps",
-              "--extern=deps_hack=src/deps_hack/target/debug/libdeps_hack.rlib",
-              "--rlimit", "50",
-              "--verify-module", "vdeployment_controller", # remove this line to run full verification on all 4 controllers
-              "-A", "warnings"]
-prepare_script = """
-pushd src/deps_hack
-cargo clean
-cargo build
-popd
-"""
-prepare_script_windows = """
-$ErrorActionPreference = 'Stop'
-Push-Location src/deps_hack
-cargo clean
-cargo build
-Pop-Location
-"""
+cargo_verus = true
+crate_roots = ["."]
+# comment this line to run full verification on all 4 controllers and libraries, need ~30mins
+extra_verus_args = ["--verify-module", "vdeployment_controller"]