Fixed highlightning strong components, reworked algorithm, fixed tests