The Boring Company is making progress on its underground car network.