Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.)

This current implementation only works when both operands are concrete values; later we will add support for symbolic values.

llvm-svn: 47726