Added "techmap -autoproc"
Added "test_cell -simlib -v"
Fixed "test_cell -simlib all"
Added SAT model for $alu cells
Added ConstEval model for $alu cells
Added $alu support to test_cell