Resolve "SimpleVerifier merges types incorrectly when one type is an interface"

Closes #317853 (closed). The relaxed type check was incorrectly added in isAssignableFrom() (in 30cb84df), instead of isSubTypeOf().