Translator fuzzer challenges differ between composer fuzzer and circuit builder fuzzer

[Rumata888]

Translator Composer uses a random challenge that is derived from Fiat-Shamir, while circuit builder fuzzer uses a configurable challenge. We need to reconcile the two, so they are the same and fuzzing testcases from circuit builder can be used in the composer