math/z3: Update 4.15.8.0 => 4.16.0.0

[alven]

Test Plan

For every {150amd64, 143amd64, 143i386}:

• Successful poudriere testport

[arrowd]

IIRC, math/z3 supports make test. Does it pass?

[alven]

In D55374#1266570, @arrowd wrote:

IIRC, math/z3 supports make test. Does it pass?

Thank you for mentioning it. Yes, it does (150amd64).
No statistics provided, just passed.

[alven]

I meant this (just return to next command):

% make test
===>  Testing for z3-4.16.0.0
%

When I add TEST_TARGET= test stance the output is like this:

% make test
===>  Testing for z3-4.16.0.0
ninja: error: unknown target 'test', did you mean 'ast'?
*** Error code 1

Stop.
make: stopped making "test" in /usr/ports/default/math/z3
%

So, what does actually happen with testing?

[arrowd]

This just means that I was wrong and there are no tests. Feel free to push this and I'll look into tests later.

[alven]

OK. Thank you! :)