Reverse order of output messages

Swap the "c Hard clauses are satisfiable" and first
"o <value>" lines.
Integrate encodeuzk
Clean up sorter network RHS generation
Replace NumberSeq with std::vector<int>
Remove Sorter class
Minor clean up
Remove debug messages