Michael Saylor’s software company framed the sale as being for “tax benefits,” but its appetite for amassing Bitcoin hasn’t yet waned.