Standard-To-Handshake + handshake runner doesn't handle toplevel memories well.

There's currently a small 'hack' to enable simulation with the handshake runner when code from the standard dialect has passed a pointer. In the current implementation, the pointer argument is converted to an internal memory, which is then intended to be initialized before simulation (although this doesn't actually happen yet). This is somewhat unintuitive since the memory conceptually lies outside the handshake design.

Fixing this properly probably requires better design for how the handshake dialect (And graph regions in general) are embedded inside SSACFG regions (e.g. the standard dialect). It would make more sense if a testable interface was provided by the standard to handshake conversion, which could then be easily interacted with by sequential code (like the handshake runner) or by an MLIR testbench. Today this complexity is built into the runner.

Start by tracing the Standard-To-Handshake conversion and the handshake runner, focusing on how pointer arguments become internal memories and how graph regions are embedded in SSACFG regions. Done should provide a testable conversion interface that sequential code or an MLIR testbench can use, with toplevel memories handled and initialized correctly during simulation.

Written by the indexing model from the issue text.