Invariant testing as kind of super-fuzzing
Fuzz Test = many randomly generated values and verify assertion
Invariant test : apply same idea but to the system as a whole, during an invariant test, the fuzzer run again all functions in all contracts ...
