Regularizing Properties of (Non-Gaussian) Transition Semigroups in Hilbert Spaces