Microsoft layoffs handled better than peers. Generous severance. But still cut 10,000+ employees.