Beyond Configurable Systems: Applying Variational Execution to Tackle Large Search Spaces