Optimal Counterfactual Search in Tree Ensembles: A Study Across Modeling and Solution Paradigms