Generalized predicates Integration and SDK packaging fixes

[0xVikasRushi]

Description

This PR introduces two main changes:

1. Generalized predicates — Replaces the hardcoded age-check with a configurable predicate system. The Show circuit now evaluates atomic comparisons (LE, GE, EQ) combined via a postfix boolean expression stack machine (AND, OR, NOT). Updated across circom circuits, Rust prover, and TypeScript SDK.

2. SDK packaging fixes, Ships wasm/pkg in npm package, adds test fixtures and vitest global setup, skips tests gracefully when heavy artifacts (keys, WASM module) are missing

Checklist

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes