feat(fw): Parameter count check on opcode calls

[marioevz]

🗒️ Description

Adds a simple check that the number of parameters used to call an opcode (to generate bytecode) is the same as the popped stack items for the given opcode.

E.g.

Op.CREATE(1, 2, 3, 4, 5, 6, 7)

Now results in: "ValueError: Opcode CREATE requires 3 stack elements, but 7 were provided. Use 'unchecked=True' parameter to ignore this check.".

This works:

Op.CREATE(1, 2, 3, 4, 5, 6, 7, unchecked=True)

The check is superficial as it does not verify that the bytecode specified on each parameter indeed pushes 1 item to the stack.

@winsvega

🔗 Related Issues

#441

✅ Checklist

• All: Set appropriate labels for the changes.
• All: Considered squashing commits to improve commit history.
• All: Added an entry to CHANGELOG.md.
• All: Considered updating the online docs in the ./docs/ directory.
• Tests: All converted JSON/YML tests from ethereum/tests have been added to converted-ethereum-tests.txt.
• Tests: Included the type and version of evm t8n tool used to locally execute test cases: e.g., ref with commit hash or geth 1.13.1-stable-3f40e65.
• Tests: Ran mkdocs serve locally and verified the auto-generated docs for new tests in the Test Case Reference are correctly formatted.

[danceratopz]

Really nice! Should help catch some obvious problems more quickly.