[asan] make sure coverage is dumped even if leaks are reported