Bugfixes in decentralized coordination

[edwardalee]

This PR fixes a number of issues with STA and STAA in decentralized coordination. There is a companion PR in lingua-franca. In particular:

• It enables using large values when the data flow is predictable.
• It changes terminology to use STA and STAA.
• It guards against overflow of time values, allowing large STA and STAA.
• It ensures that STA is always added to STAA.
• It moves the logic of whether to add the STA out of wait_until and into the federated code.
• It makes sure the stop tag is completed before exiting.

[Depetrol]

I think this is a great improvement for decentralized coordination, using STA & STAA could really reduce a lot of the confusion about STP. I can confirm that this solves lf-lang/lingua-franca#2373.

[lhstrh]

There are non-deterministic failures lurking somewhere. The CI run based 21dee16 failed, but the subsequent run based on 89b0e36 passed, even though that commit only includes comments...

[edwardalee]

There are non-deterministic failures lurking somewhere. The CI run based 21dee16 failed, but the subsequent run based on 89b0e36 passed, even though that commit only includes comments...

No, this branch points to a branch of limgua-franca, which changed. So this is not a nondeterministic failure.

[lhstrh]

LGTM!