Move withdrawals updating logic from CERTS to LEDGER

[Soupstraw]

It does not really make sense to update the withdrawals in the CERTS rule, since withdrawals have nothing to do with certificates. This is a remnant from Shelley and now in hindsight it makes much more sense to move this updating logic to LEDGER instead.

[lehins]

This we can do now. I meant once we implement this ticket, which we can do now, we need to create a ticket about moving the actual predicate failure in Dijkstra era from CERTS to LEDGER. So, I removed the Dijkstra label.