fix(verifier): mishandled tree max_height

verse/analysis/verifier.py

@@ -405,7 +405,7 @@ class Verifier:
                 last_id = nodes[-1].id
                 for i, node in enumerate(next_nodes):
                     node.id = i + 1 + last_id
-                if node.height < max_height:
+                if node.height <= max_height:
                     verification_queue.extend(next_nodes)
                     nodes.extend(next_nodes)
         self.reachtube_tree = AnalysisTree(root)
@@ -435,7 +435,6 @@ class Verifier:
     ):
         if (max_height == None):
             max_height = float('inf')
-        
         root = AnalysisTreeNode(
             trace={},
             init={},