Add a high-level ICE validation tool, and associated lit tests.

The szdiff.py script runs llvm2ice on an input file, and compares the
output to the input, expecting identical results within a certain
tolerance.  Certain minor problematic constructs are ignored, such as
the inttoptr and ptrtoint instructions that appear in the input but
are converted to plain assignments in ICE.