The Minting Glitch: How a 5-Year-Old Bug Cost Truebit $26 Million