Barking up the right tree: an approach to search over molecule synthesis DAGs