Start verify refactor
Commenting out tons of code... and adding Z3 Set functions
Easy cases
Missing .mli file
Another easy case
NetKAT compiler extra credit
accurate
dock a point from Nate's extra credit assignment
updated to use datatypes from failover branch
updated to work with new types for ocaml-openflow
Merge remote-tracking branch 'upstream/master'

Conflicts:
	test/Test.ml
adding quickchecks for NetKAT parser, it compiles fine, havnt tested it yet