Will Crypto Cowboys Crash the Texas Power Grid?