noncliff: enhanced error message for inapplicable Project! of GeneralizedStabilizer

[Fe-r-oz]

I have incorporated the relevant details from the paper to create an informed error message. This PR is inspired from this comment: #355 (comment)

I think we only need one proj, so removed _proj₋ or _proj₊ in favor of proj.

• The code is properly formatted and commented.
• Substantial new functionality is documented within the docs.
• All new functionality is tested.
• All of the automated tests on github pass.
• We recently started enforcing formatting checks. If formatting issues are reported in the new code you have written, please correct them. There will be plenty of old code that is flagged as we are slowly transitioning to enforced formatting. Please do not worry about or address older formatting issues -- keep your PR just focused on your planned contribution.

[Fe-r-oz]

The PR is ready for review. Please run it on the console to check if any further formatting changes are required.

Thank you!

[Krastanov]

looks good! I will do some minor rewording on the next round of review, but first check out below for how this can be packaged a bit more neatly into Julia's error handling mechanism.

[Krastanov]

this can be done a bit more neatly using MethodError and a registered error hint.

E.g. throw throw(MethodError(f, (sm,p))) where sm and p are the arguments to this function.

Then use register_error_hint to register the additional explanation message: https://docs.julialang.org/en/v1.12-dev/base/base/#Base.Experimental.register_error_hint

[Fe-r-oz]

Thanks so much for the suggestion!

[Krastanov]

marking as draft to make it easer for me to track what needs review

[Fe-r-oz]

Thank you! I have incorporated your comments and checked the output on console.

Thank you for rewording as you see fit!

Edit:

Fixed some minor doctests test errors in recent commits

[Fe-r-oz]

Thank you for polishing the PR!