Add a quickcheck property that tests that the Par and Seq versions of Infer yield the same answer