Verification-Aided Deep Ensemble Selection