replace prospective round machinery with catch-up rounds#53

Merged

rphmeier merged 15 commits intomasterfrom

rh-remove-prospective

Jun 27, 2019

Commits on Mar 14, 2019

remove prospective round machinery
rphmeier
committed

Commits on Mar 18, 2019

Commits on May 10, 2019

re-add VotingRound::dag_base
andresilva
committed

Commits on May 13, 2019

Commits on Jun 5, 2019

Commits on Jun 24, 2019

Commits on Jun 25, 2019