On the Complexity of BDDs for State Space Search: A Case Study in Connect Four