Refactoring: TradeManager now uses a virtual time provider.