Add verification of graph/heavy_light_decomposition