If you're willing to do self disembarkation, then you can make your flight with plenty of time to spare. When I was on the Majesty for my vacation, I would have been the last group off the ship at 9:30 am (we docked at 7:00 am) and would have been cutting it way too close, so I did self disembarkation, but that is the first and last time that I will book a flight cutting it that close. To be safe, I would look for flights starting at 12:30 pm or later.
As an FYI, I did self disembarkation and was at the Miami airport by about 8:30 am for an 11:00 flight.
2007 - Majesty of the Seas
2009 - Enchantment of the Seas
2010 - Freedom of the Seas