Fixes #19: now handling synchronization within AlgorithmStepper