TODOs
==================
* Support struct type.
* Support contract type.
* Support special for loops in CryptoKitties.
* Support EVM opcode from ea-analyzer.
* Support InlineAssembly.
* Fix the bug in handling 'IndexAccess'.
* Fix the bug in handling 'new'.
* Fix the bug in handling 'delete'.
* Show all contracts and functions in a single dot file.
3.3.4 / 2017-12-25
==================
* Fix newly failed test cases due to the String->Text cleanup.
3.3.3 / 2017-12-24
==================
* Fix a collision with Protolude.replace
3.3.1 / 2017-12-24
==================
* Replace usage of String with Text.
* Fix the name collision bug that causes a Hackage build failure.
3.3.0 / 2017-12-21
==================
* Pretty print Simple opcode.
* Support NewExpression. Add InlineAssembly as a StTodo.
* Support generalized ++ and --
* Add all CryptoKitties contracts.
* Add example for EVM CFG.
* Add REVERT per EIP 140.
* bugfix: Add StContinue to loops when needed.