[sanitizer] a bit more informative deadlock detector report (still lots to improve)