IF: Remove hotstuff references#30

Merged

heifner merged 7 commits intosavannafrom

Apr 19, 2024

Commits on Apr 16, 2024

GH-12 Move finality_core to finality dir. Remove a few more references to hotstuff.
heifner
committed

Commits on Apr 19, 2024

Merge remote-tracking branch 'spring/savanna' into GH-12-cleanup
heifner
committed