Brazilian Bitcoin Exchange Sends User $35M Bug-Induced Error