Generalize ed25519 circuits

[rahulghangas]

A tracker for all circuits that need to be generalized by passing in base and calculating constants during compile time

• [ ] batchverify.circom
• [ ] modinv.circom
• [ ] modulus.circom

[rahulghangas]

Some recommendations in #59

[rahulghangas]

Generalization didn't work well with some circuits, so issue sidelined