refactor(symbolic): adapt p-token.md and spl-token.md to slotStore API

Migrate all cheatcode rules from old locals/stack-based Reference
format to the new slotStore-based format (PR #1059):

p-token.md:
- PAccByteRef: (Int, Place, Mutability, Int) → (SlotPlace, Mutability, Int)
- Remove #adjustRef for PAccByteRef (no stack offsets needed)
- #mkPAccByteRef: resolve PtrLocal via slotStore instead of stack
- #mkPAccByteRefLen: use SlotPlace instead of (Int, Place)
- #mkPAccountRef: Reference/PtrLocal use slotPlace(SLOT, proj)

spl-token.md:
- #forceSetPlaceValue: <locals> → <ownedSlots> + <slotStore>
- #traverseProjection write rules: toLocal → toSlot, toStack → removed
- #setSPLBorrowData: Reference/PtrLocal use slotPlace(SLOT, proj)
- #execSPLSolMemset: <locals> → <ownedSlots> in StackFrame

Build passes (make build).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: Stevengre