There's already an extension for decoding Gzipped data in Burp - would it be possible to integrate with that extension to beautify JSON in that GZip content? It appears they're using a standard Burp interface, with the "Raw/Params/Hex" tabs at the top.