Update NetKAT_Arbitrary for new packet header types.
Add local compiler QuickCheck Kleene axiom tests.