Yes, me please.I am quite confident that if Tomb of Sargeras has 9 bosses that we'll get a bonus smaller raid in 7.2.5 just like ToV or alternatively, that the last raid comes out faster.
I do however think that an extra raid is the most likely. There are some possibilities in Azsuna and Highmountain for that. On top of that they might aswell open a raid in an older continent. Something in a classic zone or northrend (azjol-nerub raid anyone?) would be great.