New checks and subtleties for AdS/CFT and a-maximization