quickcheck; move Verify components of Katnetic to NetKAT_Verify