High-level theoretical rovibrational spectroscopy of HCS+ isotopologues