Reliable Generation of EHR Time Series via Diffusion Models