https://rareskills.io/post/invariant-testing-solidity