It comes after someone made over $400,000 off of a well-timed trade on Polymarket, a competing prediction market platform.