README.md: TODO: Add deadlock detection