Remove best_alg_heuristic

It seems that BDD is now always the best choice.