Fixes find_method_for_type bail out with 1st match

[esdrubal]

Description

When find_method_for_type could not match the parameters and return type with the available methods it would return the first match by name.

This was not a deterministic and secure behavior so now we strictly match the parameter and return types.

Fixes #5086

find_method_for_type now if we have: impl FromBytes for T
and: impl FromBytes for DataPoint, we pick the second implementation.

Fixes #6572

Checklist

• I have linked to any relevant issues.
• I have commented my code, particularly in hard-to-understand areas.
• I have updated the documentation where relevant (API docs, the reference, and the Sway book).
  • If my change requires substantial documentation changes, I have requested support from the DevRel team
• I have added tests that prove my fix is effective or that my feature works.
• I have added (or requested a maintainer to add) the necessary Breaking* or New Feature labels where relevant.
• I have done my best to ensure that my PR adheres to the Fuel Labs Code Review Standards.
• I have requested a review from the relevant team or maintainers.

[codspeed-hq]

CodSpeed Performance Report

Merging #6606 will degrade performances by 35.42%

_{Comparing esdrubal/5086 (b5e6e4e) with master (0555973)}

Summary

❌ 1 regressions
✅ 21 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	master	esdrubal/5086	Change
❌	prepare_rename	1.6 ms	2.5 ms	-35.42%

[jjcnn]

One minor comment, but otherwise it looks good.

Some of the methods in type_check_context.rs are getting a bit long - I wonder if we should put some time into refactoring them?