DECRYPT: A High-Severity Bug Could Have Stalled Bitcoin Mining—Bitcoin Core Has a Fix