add terminal measurement validation to verify

Author: johnzl-777

src/bloqade/gemini/dialects/logical/groups.py

@@ -66,8 +66,13 @@ def run_pass(
             from bloqade.gemini.analysis.logical_validation import (
                 GeminiLogicalValidation,
             )
+            from bloqade.gemini.analysis.measurement_validation import (
+                GeminiTerminalMeasurementValidation,
+            )
 
-            validator = ValidationSuite([GeminiLogicalValidation])
+            validator = ValidationSuite(
+                [GeminiLogicalValidation, GeminiTerminalMeasurementValidation]
+            )
             validation_result = validator.validate(mt)
             validation_result.raise_if_invalid()
             mt.verify()

test/gemini/test_logical_validation.py

@@ -175,6 +175,6 @@ def main(n: int):
 
     except ValidationErrorGroup as e:
         did_error = True
-        assert len(e.errors) == 3
+        assert len(e.errors) == 4
 
     assert did_error