verita: restore svsm verita link and fix failure due to a tightened s… (#2769)

Author: ziqiaozhou

tools/verita/run_configuration_all.toml

@@ -101,10 +101,8 @@ extra_verus_args = ["--crate-type=lib", "--rlimit", "100", "--cfg", "feature=\"i
 
 [[project]]
 name = "svsm"
-git_url = "https://github.com/parno/svsm.git"
-refspec = "origin/z3-4.16.0"
-#git_url = "https://github.com/ziqiaozhou/svsm.git"
-#refspec = "origin/verita"
+git_url = "https://github.com/ziqiaozhou/svsm.git"
+refspec = "origin/verita"
 cargo_verus = true
 extra_cargo_args = ["--features", "verus"]
 crate_roots = ["kernel"]