In the wake of General Motors' decision to halt Cruise's robotaxi work, Microsoft has revealed that it will lose roughly $800 million as a result.