Added SAT testing to test_cell eval stage
Small bug fixes in $not, $neg, and $shiftx models