Use XZ compression by default
Use XZ compression by default

Resolves #11434.

(cherry picked from commit e7eec3a1c6ec46dc5b0d9d84c8a894b6f7e27f63)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc