add a QuickCheck propeorty for testing duality of minimal hitting sets
clean up test/TestSAT.hs a little