Use on-disk size if uncompressed size is smaller

This could occur if the uncompressed size is over 4 GB, in which case
the detected size would be its actual size modulo `2^32`. This same
conditional detects a total failure to guess uncompressed size, so we
use it for both cases.