feat: explicit error messages when circuit is bigger than the FFT domain

[ivokub]

Eg. https://github.com/Consensys/gnark/issues/611

Right now we get a "root of unity doesn't exist" error, which being technically correct, is not very descriptive. I propose adding an explicit check during compile-time to ensure that the compiled circuit can actually be proven. And when it cannot be proven, add an error message what the user can understand (maybe a typed error with longer documentation).

[sid-alluri]

It would be helpful for the users to mention which curves could solve their issue based on the calculation you explained to me in #611

[ivokub]

Ref: https://github.com/Consensys/gnark/discussions/1088