version bump
some inference tests
Merge pull request #126 from regehr/infer-tests

testcases for inference
Merge pull request #129 from regehr/bump-llvm

version bump
Handle instruction UB on the RHS correctly