Bitcoin, I think we can say, is dead.