Improved synchronizer gap detection.
Added sync diagram and fixed some synchronizer bugs.