TZT operations on tickets exhaustiveness

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

Operations on tickets.

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:

• JOIN_TICKETS None
• READ_TICKET None
• SPLIT_TICKET None
• TICKET None