Add cover_eqc for QuickCheck tests of cover

Generate random programs to test cover