Remove Links from NetKAT quick check.

For now we only generate local policies
updated Dehop to work with new NetKAT_Types policies, use new i;(p;t)*;e normal form, and fix remove_dead_matches to compute full fixpoint for star analysis