Bybit's North Korea lawsuit shows how frozen crypto works