Refactor ERC20-NEAR Bridge Checker to TypeScript + Zorsh

[r-near]

This PR refactors the ERC20 Ethereum to NEAR Bridge transaction finalization verifier with these technical improvements:

Changes

• TypeScript Migration: Full rewrite from JavaScript to TypeScript
• Zorsh Integration: I wrote a library for type-safe Borsh serialization - switched to that.
• Type Safety: Added proper typings for EVM proofs and all data structures
• Environment Validation: Added Envalid for type-safe environment variable validation
• Error Handling: Implemented robust error catching for each transaction
• UX Improvements: Added console coloring and better progress reporting
• Dev Setup: Updated to modern pnpm/tsx execution environment

Technical Notes

• Zorsh provides a strongly-typed schema-based approach to Borsh, which simplifies the serialization of EVM proofs
• Type-safe serialization eliminates several potential bugs in the original implementation
• Proper error isolation prevents individual transaction failures from crashing the entire process
• The EVMProofSchema now has correct BigInt handling for log_index and receipt_index

Notes

• Run with pnpm tsx index.ts instead of the previous node index.js
• Environment variables schema is now validated at runtime
• Added TypeScript types for improved IDE support

[olga24912]

We should add INFURA_API_KEY here.

/home/olga/Aurora/MainnetMigration/AuroraEthConnectorMainnetMigration/omni-bridge-migration/migration/checkERC20EthToNearTransfersFinalization/node_modules/.pnpm/envalid@8.0.0/node_modules/envalid/src/middleware.ts:49
          throw new ReferenceError(
                ^


ReferenceError: [envalid] Env var INFURA_API_KEY was accessed but not validated. This var is set in the environment; please add an envalid validator for it.

[olga24912]

fixed: 4461366