Formal Invariance of Total CR Q-Curvature