Fixes in $alu SAT- and eval-models
Fixed "test_cells -vlog"