Versatile Verification of Tree Ensembles