Implement dynamic storage intrinsics

[ironcev]

Description

This PR adds compiler intrinsics for dynamic storage opcodes. It is the second step in implementing #7560.

Additionally, the PR:

• fixes __smo and __log intrinsics not correctly compiled and can cause ICE #7572 by properly returning unit () in IR generation.
• partially addresses Fix issues in documenting and type checking intrinisics #7596 by cleaning up the type checking of existing storage intrinsics.

Checklist

• I have linked to any relevant issues.
• I have commented my code, particularly in hard-to-understand areas.
• I have updated the documentation where relevant (API docs, the reference, and the Sway book).
  • If my change requires substantial documentation changes, I have requested support from the DevRel team
• I have added tests that prove my fix is effective or that my feature works.
• I have added (or requested a maintainer to add) the necessary Breaking* or New Feature labels where relevant.
• I have done my best to ensure that my PR adheres to the Fuel Labs Code Review Standards.
• I have requested a review from the relevant team or maintainers.

[cursor]

PR Summary

High Risk
High risk because it expands storage-related intrinsic surface area and modifies compiler typechecking and IR generation for several intrinsics, which can impact codegen correctness and purity/effects analysis.

Overview
Adds support for dynamic storage opcodes via new intrinsics (e.g. __state_load_slot, __state_store_slot, __state_update_slot, __state_preload, and cheaper __state_clear_slots) and wires them through the AST intrinsic list, semantic typechecking, IR generation, and CEI/purity effect classification.

Refactors intrinsic diagnostics by computing argument/type-argument spans and improving IntrinsicIncorrectNumArgs/TArgs error messages; also fixes IR generation to consistently return unit () for side-effect-only intrinsics like __log, __smo, and __state_clear_slots.

Updates the Sway book intrinsic reference and spellcheck dictionary, and consolidates/rewrites e2e negative tests into a new intrinsics_args_type_checking suite while extending purity tests for the new storage intrinsics.

^{Reviewed by Cursor Bugbot for commit b5e6a40. Bugbot is set up for automated code reviews on this repo. Configure here.}

[ironcev]

👍

[codspeed-hq]

Merging this PR will not alter performance

✅ 25 untouched benchmarks

---

_{Comparing ironcev/dynamic-storage-add-intrinsics (b5e6a40) with master (fbb524c)}

[Dentosal]

LGTM on my side, but please make sure to check the cursor-bot comment above. I didn't really follow the logic but there might be a real issue.

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit ee95aa0. Configure here.}