Judith McKenna was seen as a possible CEO successor. Walmart will elevate other executives to larger roles.