quickcheck working now, quickcheck 'new api' adopted, bugs fixed in NetKAT_Arbitrary.ml