A bug that took down certain Tor sites didn’t cause much trouble to one privacy wallet that relied on its services. Here’s how.