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

requested review from @aaronjc4

assigned to @rarbore2

added 1 commit

• 8b2ec410 - Return fork join maps

Compare with previous version

added 1 commit

• d303f27f - Refactor verify

Compare with previous version

added 1 commit

• 1d96e23f - Add structural checks

Compare with previous version

changed title from Fix dominator based verification to Fix dominator based verification, add structural checks

changed the description

added 1 commit

• 5c8cf981 - Check that start node is node ID 0

Compare with previous version

merged

mentioned in commit c6a7c821