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
This will always be true no matter what ```%div``` is. Is this intended to be a division by zero test? If so, I think you can use something similar to my example for the signed division corner case.