Verify backward-compatibility instructions (3/14)
Verify the backward-compatibility of the interpreter for the following instructions:
IConcat_string
IConcat_string_pair
ISlice_string
IString_size
IConcat_bytes
IConcat_bytes_pair
ISlice_bytes
IBytes_size
IAdd_seconds_to_timestamp
IAdd_timestamp_to_seconds
ISub_timestamp_seconds
IDiff_timestamps
IAdd_tez
ISub_tez
ISub_tez_legacy
IMul_teznat
IMul_nattez
IEdiv_teznat
IEdiv_tez