[AugurProject/augur-core] contracts: Fix SMT errors for Solidity 0.4.25. (#706)

@cryptomental I attempted to run the SMT checker using your branch `npm run docker:run:test:security:smt` but encountered a few issues:

– The contracts seem to fail compilation because of the redeclarations that were added in `Order.sol` and `TradingEscapeHatch.sol`
– The Dockerfile for the smt security check has not been updated to use the experimental solc version

Could you address these issues and confirm `npm run docker:run:test:security:smt` completes successfully?

This post was last modified on July 6, 2018, 2:51 am