Sub-Doppler Saturation Spectroscopy of HCN up to 1 THz and Detection of J = 3 —> 2 (4—> 3) Emission from TMC1