Inductive Synthesis for Probabilistic Programs Reaches New Horizons