Update circuit according to security review from @bbarwik (Hacken)
MD5 (verifier_darwin_amd64) = 89f295bc2e941fe0d14618511396ffb2
MD5 (verifier_linux_amd64) = bb5aed3c17f3f64a1ac4747edc2b8c51
MD5 (verifier_windows_amd64.exe) = bb2ec0be88a5ffa3894aeb12c5341a05