MySQL 8.0 to 8.4 upgrade on RDS: how to prove your data survived

Standard support for MySQL 8.0 on RDS ends on July 31. The in-place upgrade to 8.4 takes minutes and there is no way back. Here is how I checked, on a real RDS instance with every MySQL data type I could think of, that it did not change a single row.