Scalable First-order Method for Certifying Optimal k-Sparse GLMs