Fix examples in proposer selection specification

[nashqueue]

Protocol Change Proposal

Summary

Change examples in Tendermint specifications in proposer selection for consistency.

Problem Definition

What problems may be addressed by introducing this change?
The examples have, in my opinion, some minor mistakes.
What benefits does Tendermint stand to gain by including this change?
Specs are easier to understand.
Are there any disadvantages of including this change? --> I don't think so

Proposal

Validator Removal

The priority should be from -3 to 3
After new step, the priority from p1 should increase by 1 from 2 to 3 as it has VP 1

New Validator

The new proposer priority of p3 should be set to -13 and not -4 in Alg step

Proposer Priority Change

After you add p2 and run a selection, the priority of p1 is 45k and of p2 is -45k. The signs a flipped in the first Table.

PS: I failed to do the rebase in #9326, so I am abandoning it and trying to do it right from the start, starting with an issue.