Function check_sequence_value 

pub fn check_sequence_value<FEN>(
    executor: Executor<FEN>,
    calls: &[BasicTxDetails],
    sequence: Vec<usize>,
    test_address: Address,
    calldata: Bytes,
) -> Result<Option<Signed<256, 4>>, Report>
where
    FEN: FoundryEvmNetwork,

Executes a call sequence and returns the optimization value (int256) from the invariant function. Used during shrinking for optimization mode.

Returns None if the invariant call fails or doesn’t return a valid int256. Unlike check_sequence, this applies warp/roll from ALL calls (including removed ones).