pub fn load_all_models<M: Iterator<Item = Result<Verilization, VError>>>( models: M, ) -> Result<Verilization, VError>