DNS propagation checker

Query the same name against multiple named public resolvers in parallel and compare their answers — a mismatch means the change hasn't fully propagated yet.