XRP Ledger developers disclosed a 2015-era overflow bug that could have minted about 18 trillion XRP. A crypto protocol review of the fix and its trade-offs.