Key Takeaways Senator Warren formally demanded Commerce Department records on Bitmain over espionage and power grid sabotage fears.