Home Start-Up Elon Musk’s option haul swells to $8.8 billion