The Texas oil industry, already hit hard by the COVID-19 pandemic, dodged a bullet with Hurricane Laura.