Bitcoin "Double-Spend" Flaw?