sci-mathematics/z3: Bump to 4.8.6