Add feature switch for the CVC4 coercion optimization
Add additional feature flags