Parent: #272 Depends on: #276 Roadmap: #263, #142, #134
Implement failure-atomic bulk memory execution and passive data segment state.
Acceptance:
- Instantiate active data segments failure-atomically and retain passive data per instance.
- Execute memory.init, data.drop, memory.copy, and memory.fill with exact unsigned bounds and trap ordering.
- Preserve memmove overlap semantics and make zero-length boundary cases spec-exact.
- Preserve dropped-segment behavior across repeated calls, traps, and imported memories.
- Add focused executor and JavaScript API coverage.