math/z3: Update to 4.8.4.
Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D19306