A generator/testing system for Ethereum contracts.