new 'UBSAN' test for undefined behavior via (signed) int overflow