saves bullseyecoverage for every quickcheck test, merge them yourself