Reliable Causal Discovery with Improved Exact Search and Weaker Assumptions