feat(stdlib)!: eddsa function using turbofish

[vezenovm]

Description

Problem*

Resolves #4514

Summary*

This updates eddsa_verify_with_hasher to have the following signature now that we support the turbofish operator:

pub fn eddsa_verify_with_hasher<H>(
    pub_key_x: Field,
    pub_key_y: Field,
    signature_s: Field,
    signature_r8_x: Field,
    signature_r8_y: Field,
    message: Field
) -> bool 
where H: Hasher + Default {
  [function body ...]
}

This re-work was only possible with further bug fixes from #5049 and #5041. The original turbofish PR can be found here (#3542).

Additional Context

This PR can most likely be merged into its parent #5049 but I just made this separate PR to separate the bug fix and the stdlib library breaking change.

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[vezenovm]

I'm inclined to just rename this to eddsa_verify at this point.

Renamed it