[DRAFT] Sherlock: Fix for incorrect prefunding calculation in claimProceeds

[0xJem]

Fixes https://github.com/sherlock-audit/2024-03-axis-finance-judging/issues/187

Issue: the prefunding calc in claimProceeds() did not take into account whether the bids had been claimed. If bids were claimed beyond a certain threshold, routing.funding would underflow.

There were a few approaches that could be taken to solving this:

• track the original capacity of an auction lot and reconstruct the non-bid payout amount
• track the amount of bid payouts remaining

It seemed easier to track the bid payouts remaining.

[0xJem]

Some tests are failing:

• One related to claimed bids, which is breaking the mock calls. I will probably need to implement claimBids() on the mock batch auction module, which I was trying to avoid. (Otherwise why not just use the EMP module instead of a mock?)
• Some fuzz tests are resulting in a leftover amountOutToClaim value of 1. This may point to a rounding error.

[0xJem]

Superseded by #111