Fix typos in expression.rs and verify.rs

[teenager-ETH]

Pull Request Template

Title: Fix typos in expression.rs and verify.rs

---

Description

This PR fixes minor typos in comments and output messages within the following files:

1. zokrates_ast/src/ir/expression.rs

   • Corrected the word "reduceable" to "reducible" in comments.

2. zokrates_cli/src/ops/nova/verify.rs

   • Fixed a typo in a user-facing message:
     Changed "succesfully" to "successfully."

---

Changes

Files Modified

1. zokrates_ast/src/ir/expression.rs

   • Line 195:
     Before: it is reduceable to 0
     After: it is reducible to 0
   • Line 223:
     Before: it is not reduceable to a summand
     After: it is not reducible to a summand

2. zokrates_cli/src/ops/nova/verify.rs

   • Line 116:
     Before: Compressed proof succesfully verified
     After: Compressed proof successfully verified

---

Motivation and Context

Fixing these typos improves code clarity and ensures polished user-facing messages. Correct spelling and grammar contribute to better code documentation and a professional user experience.

---

How Has This Been Tested?

• Verified the changes compile successfully.
• Ran basic checks to ensure no unintended behaviors were introduced.

---

Checklist

• My changes follow the project's coding style and guidelines.
• I have performed a self-review of my code.
• I have commented on changes where necessary.
• I have ensured the code compiles without errors.