Make DiskDevice.shrink() return the new disk size