To freeze or not to freeze: Satoshi and the $440 billion in bitcoin threatened by quantum computing