Verify dominance relations in IR graph

This MR implements the following:

• Verify dominance properties for IR (fork / join dominance / postdominance, phis/thread_ids/collects dominate uses, thread_ids uses are postdominated by corresponding join)
• Change control type to explicitly storing fork nodes, rather than fork factors