da: history tweak
core: Complete VisitQ discard in manager thread shutdown, for consistency/timing
da: Check for empty set in WorkPoller.discard
Merge branch 'da-reserved-cte' into dev