Add verification.
Add verification.

This is to make sure that method lookups are all the same with both
generics and selectors, before cutting over how lookups are done.

danfuzz/samizdat,danfuzz/samizdat,danfuzz/samizdat,danfuzz/samizdat