TZT stack manipulation exhaustiveness

Answers the following item of %(2023Q3) MIR: check TZT test suite exhaustiveness:

Stack manipulation.

For each one of the instructions below:

• report the name of a TZT test that contains the instruction and declares the expected result of interpretation. None can be used when the test is missing.

Instructions:

• DIG dig* (though even numbers are missing)
• DIP dip_*
• DIP n dipn* for most cases, none for 0 and 1
• DROP drop_*
• DROP n dropn*, none for 1
• DUG dug*, none for 0 and 1
• DUP None
• DUP n None
• PUSH push*
• SWAP None

See the analysis for more details.