[InstCombine] replace divide-by-constant checks with asserts; NFC

These folds already have tests for scalar and vector types, except 
for the vector div-by-0 case, so I'm adding tests for that.

llvm-svn: 280115