David Marcus, the executive in charge of Facebook’s (Meta’s) cryptocurrency efforts, has announced he is leaving the firm after seven…