fix verify type (#420)

fix #406

Author: Roger-luo

src/kirin/decl/emit/check_type.py

@@ -45,9 +45,6 @@ def emit_check_type(self):
                 self._guard_ssa_type(f"{self._self_name}.{name}", name, value_type)
             )
 
-        for name in self.fields.blocks.keys():
-            body.append(f"{self._self_name}.{name}.verify_type()")
-
         for name, f in self.fields.regions.items():
             body.append(f"{self._self_name}.{name}.verify_type()")
 

src/kirin/exception.py

@@ -161,6 +161,9 @@ def exception_handler(exc_type, exc_value, exc_tb: types.TracebackType):
     if not KIRIN_PYTHON_STACKTRACE and issubclass(exc_type, StaticCheckError):
         console = Console(force_terminal=True)
         with console.capture() as capture:
+            console.print(
+                "==== Python stacktrace has been disabled for simplicity, set KIRIN_PYTHON_STACKTRACE=1 to enable it ===="
+            )
             console.print(f"[bold red]{exc_type.__name__}:[/bold red]", end="")
         print(capture.get(), *exc_value.args, file=sys.stderr)
         print("Source Traceback:", file=sys.stderr)