Election equivocation: multiple headers for same election proof

[cgeorgii]

This is when an elected slot leader creates more than one block.

As soon as we see two headers with the same election proof, we record a violation for the slot leader.