Despite the sale, Nasdaq-listed miner Marathon continues to hold one of the largest public bitcoin treasuries in the world.