Falcon test prove-verify

[Al-Kindi-0]

Describe your changes

Addresses #1231

Checklist before requesting a review

• Repo forked and branch created from next according to naming convention.
• Commit messages and codestyle follow conventions.
• Relevant issues are linked in the PR description.
• Tests added for new functionality.
• Documentation/comments updated according to changes.

[bobbinth]

As discussed offline - it might be better to create a simpler test - e.g., something that uses RCOMBBASE operation for polynomial evaluation. This should test basically the same thing but would reduce test runtime quite a bit.

[bobbinth]

All looks good! Thank you!