Virtual particles are not real. A virtual particle is essentially defined by being associated to a propagator. It is, formally, nothing more than such a propagator. The idea of "virtual particle" doesn't even exist before you notice that you can draw pretty Feynman diagrams as a succinct representation of the way QFT amplitudes are calculated.
This is because you first derive the Feynman diagram perturbation expansion (e.g. by LSZ formalism or in the path integral formalism), then notice this expansion can formally be represented by diagrams where the external legs correspond to actual particle states and then call the internal lines "virtual particles" (because the external lines so nicely correspond to actual particles), but the formalism only says "draw an internal line of this particle type for every propagator of that particle type that appears in the integral you want to calculate".
There are no particles that are "described by propagators", or rather all particles are - it gives the probability to detect something starting at $x$ to be detected at $y$, as you said. One says that virtual particles are "off-shell" because if you want to really make the idea that those internal lines are "particles" work, they you have to observe that the momentum associated to the line is just integrated over all of momentum space, while the mass shell would restrict it to the hypersurface traced out by $k^2=m^2$. But at the end of the day, the formalism just gives you a line in a diagram that is not associated to any of the incoming or outgoing particle states. There's no basis for claiming that this line might be somehow associated to a particle state - it isn't.
The heuristic energy-time uncertainty relation you wrote down for its "lifetime" is different - this is actually valid when you have so-called resonances, where actual intermediate bound states of the theory are formed during an interaction. Resonances are different from virtual particles in that they actually correspond to physical states of the theory, and they show up in scattering amplitudes in perfect analogy to the contribution of metastable states to non-relativistic partial wave scattering of quantum mechanics. The width of the resonance in the energy spectrum is related to its life-time by a Fourier relation, but, stricty speaking, this is not a quantum mechanical uncertainty relation like the one between position and momentum because time is not a quantum mechanical operator (see this question for some interpretations of a "time-energy uncertainty").