leak-checker: Document "--leak-limit" option