Perform WHNF when pattern matching and invoke

[HoshinoTented]

Currently, our PatternSerializer missing the part of whnf the argument, which may stuck in certain situations. Also, TermExperialize is responsible for doing some Normalizer work, such as normalizing the argument before invoke.

This PR:

• Add a UnaryOperator argument (can be Normalizer) to JitFn#invoke, JitMatchy#invoke, and JitCon#isAvailable
• Use InvokeSignatureHelper to handle the change above.

[codecov]

Codecov Report

Attention: Patch coverage is 94.81481% with 7 lines in your changes missing coverage. Please review.

Project coverage is 83.66%. Comparing base (0c00ffa) to head (6417e2e).
Report is 11 commits behind head on main.

Files with missing lines	Patch %	Lines
.../org/aya/compiler/serializers/TermExprializer.java	88.46%	1 Missing and 2 partials ⚠️
...rg/aya/compiler/serializers/SerializerContext.java	75.00%	1 Missing and 1 partial ⚠️
...se/src/main/java/org/aya/normalize/Normalizer.java	50.00%	1 Missing ⚠️
...ya/compiler/serializers/InvokeSignatureHelper.java	88.88%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1326      +/-   ##
============================================
+ Coverage     83.62%   83.66%   +0.03%     
- Complexity     4168     4190      +22     
============================================
  Files           375      377       +2     
  Lines         12056    12116      +60     
  Branches       1425     1428       +3     
============================================
+ Hits          10082    10137      +55     
- Misses         1217     1220       +3     
- Partials        757      759       +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[ice1000]

Lgtm