solve with Abs and checksol issues

* Warn when symbol-dependent Abs have not been removed from an expression to be solved. (issue 4046)

* make checksol recognize alternate forms of assumption booleans so valid solutions are not rejected. (issue 4063)