fix(examples): use correct `verifyBatchInclusion` function and update python scripts on `examples/verify`

[JuArce]

Description

The example available in examples/verify uses the deprecated verifyBatchInclusion function which does not receive senderAddress. It should use the following function

function verifyBatchInclusion(
        bytes32 proofCommitment,
        bytes32 pubInputCommitment,
        bytes32 provingSystemAuxDataCommitment,
        bytes20 proofGeneratorAddr,
        bytes32 batchMerkleRoot,
        bytes memory merkleProof,
        uint256 verificationDataBatchIndex,
        address senderAddress
    ) external view onlyWhenNotPaused(2) returns (bool) {
...
}

Also, the python scripts to generate the verification data does not work. It uses an old version of the encoded data file.