[Verifier] Rename test

This test has nothing to do with/without assertions after
0aa519b1ea89ec50c154cd89915f70573f1a1244.
This commit is contained in:
Aiden Grossman 2026-01-03 22:43:02 +00:00
parent 3f5ee8aa76
commit d22ba4e5f0