feat(driver): Simplify code to keep only one round state

[romac]

No description provided.

[codecov]

Codecov Report

Attention: 1 lines in your changes are missing coverage. Please review.

Comparison is base (8654e59) 87.50% compared to head (cbb27a6) 87.04%.

Files	Patch %	Lines
Code/driver/src/driver.rs	95.45%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #71      +/-   ##
==========================================
- Coverage   87.50%   87.04%   -0.46%     
==========================================
  Files          30       30              
  Lines        1296     1281      -15     
==========================================
- Hits         1134     1115      -19     
- Misses        162      166       +4     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[romac]

Looks good to me!

@josef-widder @cason Do you foresee any issues with only keeping the state of consensus state machine for the current round?

[josef-widder]

Looks good to me!

@josef-widder @cason Do you foresee any issues with only keeping the state of consensus state machine for the current round?

I think that's OK, as it matches the arxiv description and the quint model. The point is that the messages for past rounds might still be needed, but as far as I see they are not in RoundState.