fix(cli): use local z3 in dev wrapper

[johntmyers]

Summary

Fix the local scripts/bin/openshell rebuild path used by mise run cluster so it can find a Homebrew Z3 install when pkg-config is unavailable.

Related Issue

N/A

Changes

• teach the dev wrapper to look for a local Homebrew z3 install before falling back
• export Z3_SYS_Z3_HEADER and Z3_LIBRARY_PATH_OVERRIDE for the local CLI rebuild path
• include crates/openshell-prover/* in the wrapper fingerprint so prover changes invalidate the cached CLI rebuild state
• leave release workflows and release Dockerfiles untouched

Testing

• mise run pre-commit passes
• mise exec -- bash scripts/bin/openshell --version
• E2E tests added/updated (if applicable)

mise run pre-commit was not run here because the broader workspace still has separate Z3-related build issues outside this wrapper-only change.

Checklist

• Follows Conventional Commits
• Commits are signed off (DCO)
• Architecture docs updated (if applicable)

[copy-pr-bot]

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

[github-actions]

🌿 Preview your docs: https://nvidia-preview-pr-805.docs.buildwithfern.com/openshell