Liveness Checking of the HotStuff Protocol Family