Can two rounds and prefix consensus keep BFT from timing out every other view? Hermes says yes, via a heaviest-common-prefix trick.