tBTC post-mortem describes how a missed smart contract bug forced the developers to press the emergency pause button