Microsoft’s workforce could have been reduced gradually through attrition, careful hiring and firing, and internal mobility over the past years.