Elon Musk’s company is leaning into a market debut, and the latest prospectus suggests its ambitions are real even as questions linger.