fix: add RVRT to unallowed opcodes for predicates

[bolajahmad]

Statically prevent RVRT in predicates opcodes

Closes #5986

Checklist

• I have linked to any relevant issues.
• I have commented my code, particularly in hard-to-understand areas.
• I have updated the documentation where relevant (API docs, the reference, and the Sway book).
  • If my change requires substantial documentation changes, I have requested support from the DevRel team
• I have added tests that prove my fix is effective or that my feature works.
• I have added (or requested a maintainer to add) the necessary Breaking* or New Feature labels where relevant.
• I have done my best to ensure that my PR adheres to the Fuel Labs Code Review Standards.
• I have requested a review from the relevant team or maintainers.

[IGI-111]

This needs a test.

[bolajahmad]

This needs a test.

Thank you for reviewing my draft! I am working on adding the tests. Could you point me to where the existing tests are, or we need to create new one?

[IGI-111]

Could you point me to where the existing tests are

https://github.com/FuelLabs/sway/tree/master/test/src/e2e_vm_tests/test_programs/should_fail/predicate_invalid_opcodes

[bolajahmad]

Could you point me to where the existing tests are

https://github.com/FuelLabs/sway/tree/master/test/src/e2e_vm_tests/test_programs/should_fail/predicate_invalid_opcodes

It's straightforward to update the test.toml file to include tests for RVRT. Not so sure how the attached main.sw works to verify the tests.

I also cannot find a clear description of how to run the tests and ensure they pass.

[bolajahmad]

The changes are not big and I believe they pass, but need this to be reviewed and also further docs on how to run the tests. Instructions on how the tests work will be appreciated too

[IGI-111]

The provided test should be enough. Check the CI execution to see what commands to run specific tests locally