TODOs in `ecc/mod.rs`

[Autoparallel]

ECC

We need to get the following done to be able to implement other issues (e.g., #34)

• [x] ~~Implement reduced_ate_pairing_batch_precomputed()~~
• [ ] Implement conditionally_subtract_from_double_modulus()
• [ ] Implement tag_coset_generator()
• [ ] Implement coset_generator()
• [ ] Implement external_coset_generator()