Consider including `pipe_elements_preimage_to_memory` in `miden::core::mem`

Consider including [`pipe_elements_preimage_to_memory`](https://github.com/0xMiden/protocol/blob/d00c73562d13a9dce02c44698d7357e05d770a1d/crates/miden-protocol/asm/protocol_utils/src/mem.masm ) into `miden::core::mem`.

Its behavior falls a bit in between the existing "pipe preimage" and "pipe" procedures. I.e. it constructs a hasher state internally and does not check that the commitment matches (so that callers can do this with their own error message).

The hasher state construction is most of what makes this procedure useful, so the two open questions are:
- should it assert the commitment matches?
- is this generally useful enough to justify moving to `miden::core`?

Examine the existing pipe preimage and pipe procedures in miden::core::mem to understand the pattern. Review the linked procedure in the protocol repository to see its hasher state construction. Determine if the commitment assertion should be added and if the procedure is general enough for core. Testing involves verifying the procedure works correctly in the VM context.

由索引模型根据 Issue 内容生成。