feat: harden encode and merge with iterative stack-safe traversal

Refactors encode and Utils.merge to iterative traversal for deep-input safety and removes recursion-limit capping semantics for EncodeOptions.max_depth (None is unbounded, explicit limits enforced directly). Also includes encode hot-path optimizations and merge compatibility adjustments discovered during review.

Author: techouse