TZT boolean operations exhaustiveness

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

Control structures.

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:

• AND: bool : bool and_bool-bool*
• AND: nat : nat and_nat-nat_0{0,1,2}.tz for most cases, none for 0 (left and right) and none for AND-ing non-0 values that results in a 0
• AND: int : nat and_nat-nat_0{3,4}.tz for most cases, none for 0 (left and right) and none for AND-ing non-0 values that results in a 0
• AND: bytes : bytes None
• NOT: bool not_bool*
• NOT: nat not_nat0{0,1,2}*
• NOT: int not_int*, not_nat0{3,4,5,6,7} (these should be renamed)
• NOT: bytes None
• OR: bool : bool or_bool-bool*
• OR: nat : nat or_nat-nat*
• OR: bytes : bytes None
• XOR: bool : bool xor_bool-bool*
• XOR: nat : nat xor_nat-nat*
• XOR: bytes : bytes None

See the analysis for more details.