[SILVerifier] NFC: standardize same-type assertions. (#29862)

Use `requireSameType(x, y)` ~everywhere instead of `require(x == y)`.

`requireSameType` prints types upon mismatch, which is better for debugging
verification failures.

Author: dan-zheng