Update the test suite
The Octez testsuite has changed quite a lot since the last copy. This MR copies the testsuite as it was in March.
Some typos have been fixed in comments or annotations.
Some tests now use SUB_MUTEZ
instead of SUB
. Since Mi-Cho-Coq does not yet know about this new primitive, they fail at macro expansion.
Many new tests have been added.