Rethinking Variational Inference for Probabilistic Programs with Stochastic Support