About 94,636 BTC tied to the 2016 Bitfinex hack, roughly 30% of the U.S. Strategic Bitcoin Reserve, remain frozen pending legal proceedings.