Add a version of dumpr() that has a SelectionDAG* argument.