feat(analyzer): implement Soroban ledger access pattern analyzer (#900)

[bamiebot-maker]

Summary

Closes #900

Implements the Soroban Ledger Access Pattern Analyzer in \packages/analyzers/soroban/ledger/\ and corresponding diagnostic lint rules in \packages/rules/soroban/ledger/.

Features

• Ledger Access Tracking & Classification: Detects and classifies \persistent, \instance, and \ emporary\ storage reads (\get, \has), writes (\set, \put, \update), and deletions (
  emove).
• Repeated Access Detection: Identifies redundant read operations and multiple writes on the same key within single execution flows.
• Loop Access Detection: Flags costly ledger operations inside \or, \while, and \loop\ blocks.
• Metrics Generation: Computes total reads/writes, storage tier breakdown, unique keys accessed, repeated operations count, and estimated footprint.
• Rules & Diagnostics: Emits actionable optimization recommendations with estimated CPU and ledger fee savings.

Test Coverage

• \packages/analyzers/soroban/ledger/tests/ledger-access-analyzer.spec.ts\ (4/4 tests passing)
• \packages/rules/soroban/tests/ledger-access-rule.spec.ts\ (2/2 tests passing)

[drips-wave]

@bamiebot-maker Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits.

You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀

Learn more about application limits

[mijinummi]

Kindly fix conflict @bamiebot-maker

[bamiebot-maker]

@mijinummi The merge conflicts with upstream main have been resolved, and all unit test suites are passing cleanly! Ready for review.