HotStuff finality