[Analyzer][Z3] Test fixes for Z3 constraint manager
Since Z3 tests have been not been running  some tests needed to be
updated. I also added a regression test for .
Reviewers: george.karpenkov, NoQ, ddcc
Reviewed By: george.karpenkov
Subscribers: mikhail.ramalho, dcoughlin, xazax.hun, szepet, zzheng, a.sidorin, cfe-commits
Differential Revision: https://reviews.llvm.org/D47726