solve with Abs and checksol issues

Warn when symbol-dependent Abs have not been removed from an expression to be solved. (issue 4046)