fix: Avoid asserting in typechecker if struct field count is not correct

[jfecher]

Related issue(s)

Resolves #1028

Description

Summary of changes

If the user provides an incorrect number of fields, this error is caught and issues during name resolution, however typechecking would later panic with an assert rather than continuing typechecking and skipping these malformed sections. Since the compiler should continue on error rather than abort, this behavior is incorrect and has been fixed so that the compiler no longer crashes.

Dependency additions / changes

Test additions / changes

Checklist

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt with default settings.
• I have linked this PR to the issue(s) that it resolves.
• I have reviewed the changes on GitHub, line by line.
• I have ensured all changes are covered in the description.

Documentation needs

• This PR requires documentation updates when merged.

Additional context