PM>Только один вопрос меня гложет: есть ли штатные средства во время выполнения какого-то работопотока показать во встроенном дизайнере процесса пройденные состояния, ветки и т.п.? Или все это придется (довольно криво) дописывать?

Эта система- библиотека программирования -а не визуализации GUI,
поэтому вряд ли.

В большинстве примеров и документации, считалось достижеием хостирование этого дизайнера в runtime,
а о большем пока не было ничего.