fixed major inefficiency in pruning--was allowing lots of redundant exploration. everything is much faster now.