Swallowing hard: cryptos fell $25 billion last night