feat: impl two adic fri pcs

[ashjeong]

This PR implements TwoAdicFriPCS from Plonky3. See the reference here.

[TomTaehoonKim]

@ashjeong Maybe fix(math): fix CosetFFTBatch bugs -> fix(math): fix CosetLDEBatch bugs ?

[chokobole]

There are several places to use PackedField, why did you just change some parts in chore(math): change PackedPrimeField to PackedField

[chokobole]

• chore(math): change SplitEvals to SplitMat seems to be typed with refac
• chore(math): change PackedPrimeField to PackedField seems to be typed with refac
• chore(crypto): change size_t to Eigen:Index seems to be typed with refac
• chore(crypto): add ExtF init to ExtensionFieldMerkleTreeMMCSTest seems to be typed with test
• chore(math): rename SwapElements to SwapRevBitsElements seems to be typed with refac
• chore(math): denote GetRootOfUnity as [[nodiscard]] seems to be typed with refac
• chore(math): fix ExtendedPackedFieldtraits to prep for `GetExtended… is it a bugfix commit? or feature addition? I think feature addition, if so please change the type to feat
• feat: add default constructors why this is required? If it's required, it it better to change the unittest such as field_merkle_tree_unittest.cc to have members without std::unique_ptr<T>?
• feat(math): separate functions from class seems to be typed with refac. Also, is it possible to change it in clearer way? e.g, "move swapping methods to `evaluation_utils"?
• feat(math): add ReverseBitsLen function seems to be typed with refac.
• feat(crypto): impl TwoAdicFriConfig with needed folding functions, feat(crypto): impl TwoAdicFriProve, feat(crypto): impl TwoAdicFriPcs and test(crypto): impl TwoAdicFriPcs unittest contains the commit sha without permanent commit sha.
• contains the commit sha without permanent commit sha.

[dongchangYoo]

TDLR -> TLDR in 807c7355800600c4c744cfa67f779f17a8f12287 body

[ashjeong]

There are several places to use PackedField, why did you just change some parts in chore(math): change PackedPrimeField to PackedField

Thinking on it, I think all packed fields are packed prime fields. Since this is so, I'll drop this commit, but I think we'll need to standardize names in the future since we say PackedF, PackedField, and PackedPrimeFields, but they're all the same.

edit: on second thought, the change is still viable, but I'll simply change the name to limit it to my current scope of matrix_utils

[chokobole]

• feat(zk): Add mutable domain getter please change Add to add.
• feat: add default constructors & omit unique_ptrs please change unique_ptrs to unique_ptr. Also this typo is in commit body, too.
• feat(math): Add ToBaseFields from extension field please change Add to add.
• feat: impl StrictLog2 please change Strict to Checked
• feat(math): add hash function for extension/packed fields please change absl::flat_hash_maps to absl::flat_hash_map

[chokobole]

fix(crypto): fix FieldMerkleTreeMMCS bug please remove pdqsort from the file.

[TomTaehoonKim]

Please fix

1. 02c829b "Add" -> "add"
2. 08935ee "StrictLog2" -> "CheckedLog2"

[chokobole]

Please remove chore(crypto): remove unneeded dependency since it removes the required dependency!