grjte

I'm in favor of getting rid of `pushw` and `popw`. They both have a big performance penalty that's a bit opaque right now, so it's probably better if people have...

@tohrnii can you add a comment with a todo list of everything that we've done or talked about for this & check off the things that are done so we...

Great, thanks @tohrnii @bobbinth ! I updated the issue description with the todo list. Once the current related PR #315 is updated and merged maybe we can prioritize this list...

Current work is in #412

#474 is merged, so there shouldn't be any remaining blockers for the final 5 items @bobbinth outlined above

> I think there is still a few more things here (unless I missed them) needed to make sure we comply with the interface described in [#409 (comment)](https://github.com/0xPolygonMiden/miden-vm/issues/409#issuecomment-1322779186): > >...

> we might want to leave this item pending and retake it after tiered SMT with its support structs (merkle opening, etc) are finished there. @vlopes11 this sounds reasonable to...

For reference, #231 was the related issue, and the PRs that closed it are linked at the bottom

@calummoore this would be great! I'll assign it to you. I don't have any comments at the moment, but we're happy to answer any questions you run into. I'm sure...