Added instructions to teach souper about undefined behavior and also add...

...ed test cases

- This patch has support for all instructions UB
- Test cases integrated in LIT infrastructure
- Fix to set solver path via command line by John
I don't think this can ever be true even without the ```nsw``` flag. I think a better test case would be one that multiplies by 3 instead, as it is possible to get a 1 out of that multiplication, and the only way you can do that is by overflowing.