Forerunner: Constraint-based Speculative Transaction Execution for Ethereum - View it on GitHub