AC-GC: Lossy Activation Compression with Guaranteed Convergence