update z3 to snapshot dependency (we may have further upgrades before ne...

...xt release)

@bmmoore please review