fix(gnovm): persist function-local declared types eagerly at addpkg (alt to save-time walk)

[ltzmaxwell]

• Alternative to fix(gnovm): persist function-local declared types referenced by saved values #5894 for side-by-side comparison (per fix(gnovm): persist function-local declared types referenced by saved values #5894 (comment)): local types are persisted eagerly at addpkg instead of by a walk over each object at save time.
• saveFuncLocalTypes (machine.go) makes one Transcribe pass over the fileset in saveNewPackageValuesAndTypes and SetTypes every non-alias function-local TypeDecl; the ~150-line localTypeSaver walk in realm.go is deleted.
• The SetObject debugAssert falls back to a raw backend key probe: addpkg-persisted types are absent from later txs' fresh cacheTypes, so the invariant is "resolvable from the store", not "written this tx".
• Caveat: irrelevant for a fresh chain (genesis after this change); only if deployed onto existing state would already-added packages need a migration or the save-time walk as a transitional backstop (see ADR).
• Same test suite as fix(gnovm): persist function-local declared types referenced by saved values #5894, unchanged expectations: zrealm_localtype*.gno filetests, restart_local_type*.txtar node restarts, vm gas tests.

[Gno2D2]

🛠 PR Checks Summary

All Automated Checks passed. ✅

Manual Checks (for Reviewers):

• IGNORE the bot requirements for this PR (force green CI check)

Read More

🤖 This bot helps streamline PR reviews by verifying automated checks and providing guidance for contributors and reviewers.

✅ Automated Checks (for Contributors):

🟢 Maintainers must be able to edit this pull request (more info)

☑️ Contributor Actions:

1. Fix any issues flagged by automated checks.
2. Follow the Contributor Checklist to ensure your PR is ready for review.
   • Add new tests, or document why they are unnecessary.
   • Provide clear examples/screenshots, if necessary.
   • Update documentation, if required.
   • Ensure no breaking changes, or include BREAKING CHANGE notes.
   • Link related issues/PRs, where applicable.

☑️ Reviewer Actions:

1. Complete manual checks for the PR, including the guidelines and additional checks if applicable.

📚 Resources:

• Report a bug with the bot.
• View the bot’s configuration file.

Debug

Automated Checks

Maintainers must be able to edit this pull request (more info)

If

🟢 Condition met
└── 🟢 And
    ├── 🟢 The base branch matches this pattern: ^master$
    └── 🟢 The pull request was created from a fork (head branch repo: ltzmaxwell/gno)

Then

🟢 Requirement satisfied
└── 🟢 Maintainer can modify this pull request

Manual Checks

**IGNORE** the bot requirements for this PR (force green CI check)

If

🟢 Condition met
└── 🟢 On every pull request

Can be checked by

• Any user with comment edit permission