in update head, we should also add an `assert` that its downstream from the store's latest justified to make sure the head of chain is always "available" and to bring up any voting that is not consistent