Opt : ZK WHIR with more optimised parameters for shorter proof sizes

[ocdbytes]

Reference Doc : [ ZK WHIR updated params doc by @yswami-tfh ]

Changes Overview :

• New Φᵢ morphisms and basis change logic
• Explicit OOD/STIR handling in the ZK wrapper, and fold_args computation
• Support for ⌊μ/ℓ⌋+1 polynomials instead of μ+1

Refactoring and logical Change :

• Need to find a way to intercept the queries in whir instances created in zk WHIR. Right now It is being handled in the wrapper and we calculate gamma coset points in wrapper and evaluate them and then send them to blinding whir instance which handles it own its own.