[sanitizer] more human-readable deadlock reports