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 think this will always hold even without the ```exact``` flag. A nicer test for this might be to divide a large prime by ```%a``` and check that the result is equal to the prime.