A Non-Asymptotic Moreau Envelope Theory for High-Dimensional Generalized Linear Models