Bugfix in RefTy.applySubst. Added smt.macro-finder to Z3 options.