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