Add -O3 when testing with UBSAN. This triggers far undefined behaviour