Text this: Discreteness and Convergence of Complex Hyperbolic Isometry Groups