cirq.protocols.to_json_gzip