Change Prover/Verifier in FRI query phase to do a smaller amount of hashes

[feltroidprime]

Currently to get the iotas, in :
https://github.com/lambdaclass/lambdaworks_cairo_prover/blob/d358406a7b1307822fc18351ff8397324e867ae5/src/starks/verifier.rs#L170-L174

We are calling the function transcript_to_usize
air.options().fri_number_of_queries amount of times, and cutting usize bits of the hash to get each iota.
https://github.com/lambdaclass/lambdaworks_cairo_prover/blob/d358406a7b1307822fc18351ff8397324e867ae5/src/starks/transcript.rs#L45-L51

However, we could count the number of bits in usize and in the hash, to get more iotas per transcript round.

For example with sha-3/keccak and usize of 64 bits, we could get 4 iotas per transcript, dividing up to 4 the amount of hashes needed for this part in the verifier, which would improve on-chain verification costs.