Circuit Optimizers: Facts and Fallacies