The head of Meta’s cryptocurrency efforts is leaving the company. David Marcus had most recently spearheaded Meta’s push into a global digital currency.