What miners are blacklisting addresses? $623m in hacked Bitfinex funds were moved today without issue.[1]

[1] https://www.coindesk.com/623m-in-bitcoin-from-2016-bitfinex-...

Transactions are broadcasted well before they are included in a block, so we'd know immediately if it happened.

I am deeply familiar with these systems. Maybe there are miners out there doing this, but it's not widespread enough to have any impact.