retire

Retire a drained edge (EntitlementLedger.retire); returns whether it applied.