nightly-2024-06-27: fix: Implement generic functions in the interpreter (#5330)

# Description

## Problem\*

Resolves https://github.com/noir-lang/noir/issues/4924

## Summary\*

Implements the calling of generic functions in the interpreter

## Additional Context

I've removed the "type_check" method entirely since it was causing
errors. Certain types wouldn't match up (even with `follow_bindings`). I
couldn't fix this so I removed it since it is duplicated work from type
checking anyway.

## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.