Magic Leap is shrinking its workforce. The augmented-reality startup needs to seriously reduce costs, so 1,000 will be let go. That’s about half of the total headcount.