Greedy Pruning with Group Lasso Provably Generalizes for Matrix Sensing