The 50 BTC allegedly stolen by the National Crime Agency officer would have been worth $77,000 in 2017—and $4 million today.