Boosting Robustness Verification of Semantic Feature Neighborhoods