Security review of the Havven contracts (not including token-sale contracts) - View it on GitHub