[UBsan] Disable summary.cpp on Darwin. The test requires ubsan-asan, which does not work yet.