Factor common code out of Kleene axiom tests.
Merge branch 'kleene-axioms' of github.com:frenetic-lang/frenetic into kleene-axioms

* 'kleene-axioms' of github.com:frenetic-lang/frenetic:
  Fix bug in Semantics.eval, make QuickCheck less verbose

Conflicts:
	test/NetKAT_Test.ml
Remove unnecessary resize calls, turn off verbose mode.