Completion-detecting carry select addition