♻️ ️Fix Fuzzing Edge Case in `NonZeroBalance` Tests

[pcaversaccio]

🕓 Changelog

This PR fixes a fuzzing edge case where the fuzzed address msgSender equals arg3 and thus the test assert:

// Since everything was returned in the previous call, the balance must be equal to the original
// refund amount.
assertEq(arg3.balance, cachedBalance, "1800");

in the testFuzz_WhenTheCreateXContractHasANonZeroBalanceAndWhenTheRefundTransactionIsSuccessful tests fail.

Furthermore, I also add an additional assume condition to prevent the fuzzed address originalDeployer to have collisions with arg3 as well. Eventually, for the CREATE tests, I add an additional assume condition to prevent the test contract sender to collide with arg3.

🐶 Cute Animal Picture

[github-actions[bot]]

Coverage after merging fix/fuzzing-edge-case into main will be

100.00%

Coverage Report

File	Stmts	Branches	Funcs	Lines	Uncovered Lines
src
CreateX.sol	100%	100%	100%	100%