`@fast` attribute to enable early (0-cycle) transitions between alternating dynamic/static groups

[ethanuppal]

trafficstars

Will eventually close #1828 once finalized and thoroughly tested (the former of which may take a while).

[ethanuppal]

I want to confirm the following: @fast in its most primitive state consists of applying the unstable early-transitions feature (which schedules 0-cycle transitions between groups g1 and g2 without regard to whether g1[done] && g2[done] is UNSAT) in an environment where we know it it is always possible (enforced via a check the well-formed pass).

[ethanuppal]

@rachitnigam @calebmkim update ping

[calebmkim]

I think this all lgtm! (As long as the problems in #662 do not apply, which I think they don't, but I haven't read the issue carefully.)

[ethanuppal]

@rachitnigam update ping

[rachitnigam]

@ethanuppal can you finalize the changes and answer the questions so we can merge this PR?

[ethanuppal]

Sorry for not getting around to this sooner!jk:wq