Fix the test `test_make_verifier_index`

[dannywillems]

The code is documented as of today: https://github.com/o1-labs/mina-rust/blob/develop/ledger/src/proofs/transaction.rs#L4580