Made weakPush and merge return void since we no longer care about the label
Made weakPush and merge return void since we no longer care about the label

cander/pseudoflow-solver,cander/pseudoflow-solver