The leader of Tesla Inc.’s Optimus program is leaving the company, according to a person familiar with the matter, injecting uncertainty into the humanoid robot effort that Chief Executive Officer Elon Musk sees as a significant part of the future business.