The following simple XCTest segfaults (and hangs) after testBug completes. The line "class Bug..." shows red with EXC_BAD_ACCESS (code=1), which I think I saw is a
