Credit to @hinto-janai for adding such sections to their work on documenting monero-serai in #568.
I still don't like the impl of the original Bulletproofs...
Removes usage of dalek-ff-group/multiexp for curve25519-dalek. Makes compiling in the generators an optional feature. Adds a structured batch verifier which should be notably more performant. Documentation and clean up still necessary.