Verification and search algorithms for causal DAGs