Add permutation challenge `theta` in round 3

[moCello]

Describe what you want implemented The polynomial z_2 in round 3 needs a permutation challenge theta to be computed. This seems to not be implemented yet.

Describe "Why" this is needed So that the implementation matches the paper.

Describe alternatives you've considered none

Additional context NA