finished implementing all-gather version of HaloManager, still need to update examples...