Fix dominator based verification, add structural checks

• Fix the dominator based verification, and refactor it in the process
• Add edges to parameter, constant, and dynamic constant nodes from start for dataflow analysis
• Add structural checks for checking uses of certain control nodes
• Add invalid example, where phi doesn't dominate use

hercules_ir/src/def_use.rs

@@ -117,9 +117,9 @@ pub fn get_uses<'a>(node: &'a Node) -> NodeUses<'a> {
         Node::ThreadID { control } => NodeUses::One([*control]),
         Node::Collect { control, data } => NodeUses::Two([*control, *data]),
         Node::Return { control, data } => NodeUses::Two([*control, *data]),
-        Node::Parameter { index: _ } => NodeUses::Zero,
-        Node::Constant { id: _ } => NodeUses::Zero,
-        Node::DynamicConstant { id: _ } => NodeUses::Zero,
+        Node::Parameter { index: _ } => NodeUses::One([NodeID::new(0)]),
+        Node::Constant { id: _ } => NodeUses::One([NodeID::new(0)]),
+        Node::DynamicConstant { id: _ } => NodeUses::One([NodeID::new(0)]),
         Node::Unary { input, op: _ } => NodeUses::One([*input]),
         Node::Binary { left, right, op: _ } => NodeUses::Two([*left, *right]),
         Node::Call {