Let merge this but note that we need to update the documentation as well. _Originally posted by @gustavo-grieco in https://github.com/crytic/echidna/issues/1460#issuecomment-3352193392_