Constructing high-fidelity halo merger trees in AbacusSummit