EnumerationSolver/Portfolio extends Incremental+Assumption

This allows us to use them in synthesis. Expose --solvers=..
option for synthesis.
Allow testing specifying options, add test for enum solver