feat(bitcoin): implement native introspection jets (InputValue, NumInputs, etc.)

[Laz1mov]

Description

This PR implements the critical Bitcoin introspection jets required for Layer 1 covenants to read transaction state without relying on injected witnesses.

It introduces native, zero-panic Rust implementations for NumInputs, NumOutputs, InputValue, and InputUtxosHash, bridging them securely to the existing FFI c_jet_ptr interface.

Key Contributions

1. Environment Upgrades: Upgraded BitcoinEnv to maintain the current input index (ix) and the slice of spent_outputs necessary for UTXO inspection.
2. Cryptographic Parity:
   • Ensured all implemented jets generate the exact CMRs specified in the C reference (primitiveJetNode.inc).
   • InputUtxosHash perfectly mimics the hierarchical C implementation (combining inputValuesHash and inputScriptsHash).
3. Weight Calibration: Assigned precise milli-weight costs to each jet (e.g., 74, 68, 81, 122 mW) to maintain execution budget integrity within the BitMachine.
4. Safety: Zero .unwrap() or panics in the execution paths. Memory boundary checks gracefully trigger BitMachineTrap equivalents on out-of-bounds access.

Motivation

Projects building on Simplicity (such as the PRECOP canonical engine) require these jets to transition from "trusted witness" topologies to fully deterministic, mathematically verifiable state transitions.

Testing

• CMR assertion tests validating parity with C-core.
• End-to-end BitMachine execution tests using mocked BitcoinEnv data.

Signed-off-by: Laz1m0v 198518978+Laz1m0v@users.noreply.github.com