-fcatch-undefined-behavior is deprecated.

Use -fsanitize=undefined.
Merge pull request #930 from waywardmonkeys/update-catch-undef

-fcatch-undefined-behavior is deprecated.