Strict "better chain" breaks liveness
If we change line 751 in the better_chain
to
| candidate_predecessor :: _, node_predecessor :: _ ->
candidate_predecessor.round < node_predecessor.round
then the chain stops making progress in stress test 0. This issue is to fix this so the change above works.