Fix bug in Semantics.eval, make QuickCheck less verbose

* The case for start in Semantics.eval was wrong: we were not
  correctly unioning the accumulator

* The NetKAT_Tests QuickCheck tests were using the QuickCheck.verbose
  configuration, which was printing a lot of extra output to the
  console. Changed these to QuickCheck.quick instead.

* Some minor tidying...