Fix Falcon bug

[Al-Kindi-0]

Describe your changes

This addresses the raised in 0xPolygonMiden/miden-base#616
The problem was due to the order of the secret key basis.

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.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

[bobbinth]

Looks good! Thank you!

Question: do you think this would have been caught if we had #293 implemented?

[Al-Kindi-0]

Question: do you think this would have been caught if we had #293 implemented?

It might have been discovered in the process of implementing #293 . The problem was basically just the order and sign of the basis element of the secret key. I think this was messed up when we were reverting the key recovery mode changes.
In any case, I think having #293 implemented will be good to get more confidence in the implementation. I got some ideas for how to do this while debuging the current issue, I will add them to #293 for discussion soon.