Support to function deal (3 parameters) of StdCheats.sol

Configuration:
MacBook Pro, Apple M1 Pro, Sonoma 14.0, 32GB RAM

hevm: version 0.52.0
Z3: Z3 version 4.12.2 - 64 bit

When I call the below function in a symbolic test (prove):

function deal(address token, address to, uint256 give, bool adjust) internal virtual

I got

[FAIL] prove_harvest()

Failure: prove_harvest()

No reachable assertion violations, but all branches reverted
Prefix this testname with `proveFail` if this is expected

And I identified that the cause is in this statement:

// update balance
stdstore.target(token).sig(0x70a08231).with_key(to).checked_write(give);

Thanks!

Start in StdCheats.sol at deal(address token, address to, uint256 give, bool adjust), then inspect the stdstore.target(token).sig(0x70a08231).with_key(to).checked_write(give) call. Reproduce the symbolic prove_harvest() failure and verify that the three-parameter deal path no longer causes all branches to revert.

Written by the indexing model from the issue text.