dgpv Check for CorrecntessHolds on all nodes in tools/parse_miniscript_dot.py