#377 HIGH: WaitOperator uses non-deterministic datetime.now()

operators.py:989 uses datetime.now(timezone.utc) to calculate wake_at. On replay, different wake time computed. Fix: Checkpoint wake_at on first execution, use checkpointed value on replay.