Replaces runtime invariant checks with fuzzing tests, simplifying the contract code and lowering gas costs.
It also creates a JSON file with addresses of the deployed contracts.