I would be ok with all of thatI think they should have just split Naxx in four wings and introduced it as dungeons available at different levels while leveling. Sapph and KT could be a two boss raid. Then the large raid for that tier could be Utgarde Pinnacle as originally planned, maybe Azjol'nerub (since they could not make it a zone they could have still made it a raid) or even something different featuring the blue dragonflight (imagine e.g. a Siege of Dalaran featuring Tyrigosa or Arygos)