feat: implement sanctifier ci one-shot command

[bbkenny]

Closes #807

Summary of Changes:
Implemented the sanctifier ci subcommand to serve as the canonical entry point for Continuous Integration gates. This ensures that CI environments have a standardized, unified command for running analysis pipelines, resolving previous inconsistencies in CI gating.

What changed:

• tooling/sanctifier-cli/src/main.rs: Added the ci subcommand to the CLI parser.
• tooling/sanctifier-cli/src/ci.rs: Implemented the execution logic for the ci command, integrating it with the underlying analysis engine.
• tooling/sanctifier-core/src/config.rs: Addressed minor upstream formatting and destructuring for SanctifyConfig to support the CI workflow correctly.
• tooling/sanctifier-core/src/noir_parser.rs: Fixed tuple destructuring warnings and collapsed nested conditions for cleaner AST parsing.
• tooling/sanctifier-core/src/smt/circuit_range.rs & zk_verifier_skippable.rs: Resolved unused imports, dead code warnings, and fixed unresolved Z3 Ast trait method calls (_eq, ite) to ensure the CI pipeline compiles cleanly under strict linting (-D warnings).

Testing / Local Verification:

• Executed cargo clippy --fix -p sanctifier-core to resolve all linting warnings.
• Ran cargo fmt -p sanctifier-core to ensure strict formatting compliance.
• Ran cargo check -p sanctifier-core and verified that the build succeeds with 0 errors and 0 warnings.
• Validated that the sanctifier ci subcommand triggers the correct execution path locally.

[vercel]

@bbkenny is attempting to deploy a commit to the gbangbolaoluwagbemiga's projects Team on Vercel.

A member of the Team first needs to authorize it.