The growth of industrialscale users of power could strain the Texas power grid, ERCOT’s chief announced last week. The Dallas Morning News reported Pablo Vegas, the agency’s CEO, said bitcoin miners a…