tsan: better  diagnostics for invalid addresses passed to free()