pub(crate) fn verify_native_max_trace_heights( sdk: &Sdk, app_exe: Arc<VmExe<F>>, leaf_vm_pk: Arc<VmProvingKey<SC, NativeConfig>>, num_children_leaf: usize, ) -> Result<()>