Function parse_stored_root

crates/ixon/src/serialize.rs:2456–2459

Extract the stored merkle root from a serialized env. The Tag4 header byte (`0xE0` for env) is followed by exactly 32 bytes of root (no opt-tag).

(buf: &[u8])

        addr.clone(),
        crate::lazy::LazyConstant::from_bytes_deferred(bytes.into(), addr),
      );
    }

    // `main` must reference a constant actually present in the file.
    if let Some(m) = &env.main
      && env.consts.get(m).is_none()
    {