z3: Upgrade to 4.3.2