fix(ssa): add block opcode

[guipublic]

Related issue(s)

Resolves #1283

Description

Summary of changes

Adds the BLOCK opcode for supporting dynamic memory.
In fact this opcode was created specifically for this problem. However I forgot to use it when I enabled dynamic memory as too much time has passed until the linear eval is not 0 issue was finally fixed!

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.

BEGIN_COMMIT_OVERRIDE
feat(ssa): add block opcode (#1291)
END_COMMIT_OVERRIDE

[kevaundray]

PR looks good -- pulled it from the queue to see if we can add a regression test for this. Ideally this would have been caught by the dynamic_array example

[guipublic]

I added a regression test