Fixed #171: Add an INI option to turn off deadlock detection independently of logging