Completed non-maxciph-file part of Shuffling Verifier (Alg. 24)