compare evaluation winterfell plonky3

[Soulthym]

Describe your changes

Solves #532.
This implements a test harness comparing evaluations on plonky3 and winterfell generated constraints. It compares evaluations on random traces and tailored made ones to account for valid/invalid traces scenarios.

Left as a draft until the task list is marked as completed.

Task list:

• Generic test harness comparing evaluations on all frames.
• Test for simple cases: binary, bitwise, fibonacci, constraints comprehension
• Test for cases involving an aux trace.
• Test for cases involving module hierarchies.
• Rebase on next once Add plonky3 backend #461 is merged

Checklist before requesting a review

• Repo forked and branch created from next according to naming convention.
  This branch is based on the current state of Add plonky3 backend #461

• Commit messages and codestyle follow conventions.

• Commits are signed.

• Relevant issues are linked in the PR description.

• Tests added for new functionality.

• Documentation/comments updated according to changes.

• Updated CHANGELOG.md