Market lifecycle

State Machine:

    [Create]
       |
       v
   [Active] <---> [TradingClosed] (after trading_deadline)
       |                |
       |                |
       +---> [Resolved] <--+
       |                   |
       |                   |
       v                   v
   [Cancelled]        [Redeem]