Polymarket $9 Billion Valuation Challenged Due to Double-Counted Trades Discovered