Update the recursive verifier implementation to use horner_eval_*

[Al-Kindi-0]

What should be done?

Update the verifier to use the new instruction

How should it be done?

• Add the two instructions horner_eval_base and horner_eval_ext and remove rcomb_base.
• Update Falcon signature verification MASM implementation to use horner_eval_base.
• Update the recursive verifier MASM implementation.

When is this task done?

When the recursive verifier switches to using horner_eval_*

Additional context

No response