auction(dutch): credit VCB when ending an auction

[erwanor]

Issue
Auctions can be ended by the protocol and users. The component VCB is only credited when a closure is issued by the protocol. Instead, it should credit the component balance in both cases.

Context
The auction component maintains a value circuit breaker (VCB) accounting for a nonnegative Balance of assets deployed in the component.

This mechanism serves two purposes: fault detection and isolation. The VCB detect value balance irregularities by systematically crediting/debiting the component as assets flows in and out of it. If its invariant is breached (negative balance) the component halts. Halting on a serious invariant breach insulates the rest of the system from excess value leaking into it. x-ref #4363

Remediation

To remediate this, we need a combination of:

• a hotfix that patch the incorrect logic
• a fix that enshrine the failure conditions into unit tests
• a migration that heals the chain state

Hotfix
The fix for this bug is simple: we need to credit the component with the value it pulls from the DEX engine.

Fix
We have a unit test that reproduces the exact failure conditions for this bug (omitted here) and memorialize context around it, similar to 53 halts.

Migration
The migration for this bug is difficult: we need to reconstruct an accurate tally of the component's balance.