Flagged operations

[bendyarm]

ARC for adding flagged operation opcodes to Aleo instructions.

[d0cd]

Are the hash and commit operations actually halting?

[bendyarm]

@d0cd If the opcode was documented in https://developer.aleo.org/aleo/opcodes as having some halting behavior,
it made the list.

Specifically, the bhp opcodes halt if the input is too small.
The ped opcodes halt if given a Struct that is too large.
The keccak and sha3 opcodes don't halt.

The process of developing tests for the flagged operations should exhibit the halting cases,
and it is possible there is a doc bug and we will need to take something off the list.
If anyone sees that or finds more halting opcodes please add a comment here.