Managing Highly Configurable Design and Verification