Testing framework for Ethereum contracts with examples