Added instructions to teach souper about undefined behavior.

All corresponding test cases are also added for verification.