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