LazyIter: A Fast Algorithm for Counting Markov Equivalent DAGs and Designing Experiments