feat: add HierarchyTester for O(1) subtree-containment; rewrite nonlocal edge validation#2232

acl-cqc wants to merge 7 commits intomainQuantinuum/hugr:mainfrom

acl/hierarchy_testerQuantinuum/hugr:acl/hierarchy_testerCopy head branch name to clipboard