[asan] add a test which ensures that we dump coverage after SEGV