cirq.to_json_gzip