Tests that we correctly report segfault in a debugged program.