Defragmenter: proper warnings on leakage

It looks like we're safe based on stress tests, but we should still
report that condition correctly if it ever happens.