The bitcoin miner now holds about 25,000 BTC — second only to MicroStrategy among corporate holders of the asset