Kalshi just made an example out of a case it says crossed a bright line: trading