fall back to gzip level 9

At present, the converter falls back to gzip if zstd is not found. Considering that our datasets are IO-bound, compression ratio will almost always profit. I think defaulting to the highest gzip compression level makes sense.