Show how many times a property/assertion was covered

[montyly]

When a property passed, we should show some statistics, for example:

• number of times the assertion was executed
• % of times the assertion was executed when the current function was called

This will help evaluating the probabilistic guarantees of a property. We could also provide a config option, like:

• assertionIteration: number of times every assertion must be executed before the fuzzing stops (note: assertionIteration is not a great name)

This will allow long fuzzing campaign to be run until some threshold of number of execution is reached per assertion, instead of number of total transaction calls.

Related to https://github.com/crytic/echidna/issues/1055

[BrightTNut]

means echidna need to count the number of times the process runs and show it in to output , so I think we need to use the time complexity function of data structure