fix(ssa): Type check ToRadix and ToBits intrinsic calls

[vezenovm]

Description

Problem*

Resolves #8517

Builds upon #8765

Summary*

We simply now type check calls to the ToRadix and ToBits intrinsics that their first arguments is a field type and the second argument is an unsigned 32 bit integer.

Additional Context

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.