Polymarket active traders jump 18% as six-month slump ends, but average trade size falls