The current WrapsHistoryProver assumes that WRAPS proofs are a deterministic output of their inputs; but this is only partially true at genesis, and never true for incremental proofs.

So we should switch the voting strategy to immediately verify any encountered vote; and vote congruent to that even if it's different bytes.