Redis submission storage uses plain JSON instead of msgpack + compression

[deyna256]

Submissions are serialized with json.dumps() before writing to Redis. Plain JSON is verbose for repetitive structures like submission lists — each tag string and status value is repeated across thousands of entries with no compression.