[vsnet-grb-info 32138] LIGO/Virgo/KAGRA S230731an: AstroSat CZTI non-detection and upper limits