Add `just smoke` while fix doc tests - core: Add DbC for `Transition` via static_assert - core: Refactor `TransitionIterator` a bit - Fix deprecate trait-object without `dyn`