I would go with the 9xl. The 8xl will run quite a bit hotter on 5s. As for the pinion... plug in some numbers into BrianG's speed calculator here: http://scriptasylum.com/rc_speed/
5s A123 has about the same voltage as 4s lipo. I would go with the 8xl. The 5s2p pack will be able to handle the load. The mm may need a fan or griffinru's mod. The heatsink is a good idea.