Program Debloating via Stochastic Optimization