Carrier lifetime "paradoxes" in high-voltage 4H-SiC diodes