The observable supernova rate in galaxy–galaxy lensing systems with the TESS satellite