Add Mythril analysis

[rbharath]

https://github.com/ConsenSys/mythril is a project building a python-based security analysis tool for solidity contracts. Enable mythril testing on our smart contracts and see what we uncover.