TESS Data for Asteroseismology: Timing Verification