On the Convergence of the Structural Estimation of Proximal Operator with Gaussian Processes (STEP-GP) Method with Adaptive Quantization for Communication-Efficient Distributed Optimization