iredges: fix and improve verifier, fix documentation