MaxSAT-based feature-state batching for shared-environment integration tests.

From idea to implementation