You mentioned also the basis as a check. Given that the brokerages on their summary of 2020 Proceeds only report the basis of covered securities and not of non-covered securities (For instance, securities bought before 1/1/2012), it is not likely that the IRS computer is checking the total reported basis. For the proceeds, however, the proceeds of both securities are reported and, as such, is an easy check.
