test: spam certain opcodes and prove in avm

[dbanks12]

Please read contributing guidelines and remove this line.

For audit-related pull requests, please use the audit PR template.

[dbanks12]

• #17172
• #16872
• #16840
• #16835 👈 (View in Graphite)
• merge-train/avm

This stack of pull requests is managed by Graphite. Learn more about stacking.