add coverage in InvariantFuzzTestResult struct to collect coverage from invariant runs / each fuzzed call. Merge with new coverage after each fuzz call of invariant run, then merge in overall test result coverage (that contains setup coverage)
code cleanup: use FuzzTestData struct (at par with InvariantTestData struct) to collect data during fuzz test runs.
Motivation
Closes #4007
Solution
coverageinInvariantFuzzTestResultstruct to collect coverage from invariant runs / each fuzzed call. Merge with new coverage after each fuzz call of invariant run, then merge in overall test result coverage (that contains setup coverage)FuzzTestDatastruct (at par withInvariantTestDatastruct) to collect data during fuzz test runs.