We sailed out of Miami in April onboard the Navigator and had no issues at all. In 2007, we had a lot of issues boarding Liberty but that was because of some slow poke back to back cruisers that thought the world revolved around them!
As far as I know, there were no computer issues either time.
I have not heard anything about RCL leaving Miami, are they?