Remove unneeded warning supressions in AbstractDumper
Add (untested) deadlock detection