Polymarket proved the world wants to bet on real events. But prediction markets still look the part of a trading terminal ...