Ethereum: invariant tests not fuzzing using foundry