signProx: One-Bit Proximal Algorithm for Nonconvex Stochastic Optimization