> If a validator adds a blacklisted transaction, they will be slashed [0].
This is incorrect, and your reference doesn't back the statement up.
Validators don't have to include any transaction they don't want to, just like Bitcoin mining pools don't have to either.