I'm not sure that data compression has progressed that much since Curiosity in 2012 or Insight in 2018. There have been some formats that have improved compression at the expense of large amounts of memory or processing power, but neither of those are abundant on a rad-hardened processor. Neither is electricity. Neither are the toolchains to process such images very widespread or as well understood.