Release 2024.07.1 of the Jasmin compiler

A new minor version of the Jasmin compiler has just been released. In addition to the usual fixes and improvements whose details can be found in the CHANGELOG, it features some interesting changes highlighted below.

• Local variables may be initialized when declared.
• Integer literals can be written in octal or binary and can include non-leading underscores.
• The #copy operator can now be used with array slices.
• The safety checker better handles LEA instructions and dynamically scoped variables.
• Extraction to EasyCrypt targets its latest released version (2024.09).
• The LATEX pretty-printer shows annotations and literals as formatted in the source code.