Use iterative memiavl snapshot traversal - #3960

Converts memiavl's recursive snapshot traversal to an explicit height-sized frame stack. The state machine preserves post-order emission and the preTrees/keyLeaf/counter semantics exactly, with no slice-aliasing or stale-frame hazards.