The Boring Company, Elon Musk’s tunneling venture, has been circling the Dallas-Fort Worth metroplex with proposals to build ...