Bitcoin Core Developer Loses $3.5M in BTC in a Supposed Exploit