[vm] Add new opcodes to store and load addr_std$10 (#1849)

* [vm] Add new opcodes to store and load `addr_std$10`

LDSTDADDR — loads a MessageInt address or fail
LDSTDADDRQ — quirly loads a MessageInt address
LDOPTSTDADDR — loads a Maybe MessageInt address or fail
LDOPTSTDADDRQ — quitly loads a Maybe MessageInt address
STSTDADDR — stores a MessageInt address or fail
STSTDADDRQ — quetly stores a MessageInt address
STOPTSTDADDR — stores a Maybe MessageInt address or fail
STOPTSTDADDRQ — quetly stores a Maybe MessageInt address

* add description for STSTDADDR error

* add check that address is fully valid

* add require_version for the new opcodes

* correct LDOPTSTDADDR(Q) behaviour

* correct STOPTSTDADDR(Q) behaviour

* run test-fift with --regression

* add description to GlobalVersions.md

* remove old +1

* fix stack description

* fix `is_valid_std_msg_addr`

* add `have_refs(0)` check to is_valid_std_msg_addr

* check exact length and refs_length in is_valid_std_msg_addr

* simplify fallback in is_valid_std_msg_addr

* use push_bool, add check for refs

Author: i582

crypto/fift/lib/Asm.fif

@@ -1458,6 +1458,14 @@ x{FA44} @Defop REWRITESTDADDR
 x{FA45} @Defop REWRITESTDADDRQ
 x{FA46} @Defop REWRITEVARADDR
 x{FA47} @Defop REWRITEVARADDRQ
+x{FA48} @Defop LDSTDADDR
+x{FA49} @Defop LDSTDADDRQ
+x{FA50} @Defop LDOPTSTDADDR
+x{FA51} @Defop LDOPTSTDADDRQ
+x{FA52} @Defop STSTDADDR
+x{FA53} @Defop STSTDADDRQ
+x{FA54} @Defop STOPTSTDADDR
+x{FA55} @Defop STOPTSTDADDRQ
 
 x{FB00} @Defop SENDRAWMSG
 x{FB02} @Defop RAWRESERVE

crypto/test/fift.cpp

@@ -179,3 +179,7 @@ TEST(Fift, test_get_extra_balance) {
 TEST(Fift, test_p256) {
   run_fift("p256.fif");
 }
+
+TEST(Fift, test_load_store_std_addr) {
+  run_fift("load-store-std-addr.fif");
+}