Handle vector arithmetic

It is handled by ignoring it. While we're editing this code add InstChecker calls for UDiv and URem.

I never encountered vector SRem and URem. Hence, these are still caught as unsuitable.