Various improvements in sat_solve pass and SAT generator
Added "cd" and "ls" commands for convenience
Added support for shifter cells to SAT generator