Reenable SolidOpt's test suite.