Om du tar bort Politics/Trump-marknader handlas prognosmarknaderna redan på nya toppar i volym. Vi kanske inte har valsäsongen för att öka siffrorna, men den allmänna användningen ökar.