Bump verif/core-v-verif from 6c1e999 to 464bf7a (#2683)

dependabot[bot] · web-flow · commit 86a80f0eaa4d · 2025-01-03T11:14:15.000+01:00
diff --git a/verif/core-v-verif b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 6c1e999a97f61b4b805603ba142a1347f785fff2
+Subproject commit 464bf7a0d730eaf614acac258b412829217b6465
