Test

Update dependency: deps/mx-semantics_release #1378

Job	Run time
Code Quality Checks	2m 18s
Version Bump	3s
Kmxwasm integration tests	39m 25s
Kmxwasm booster tests	32m 58s
Kasmer claim generation tests	44m 40s
Build and Test lemmas	33m 30s
Nix (self-hosted, linux, normal)	1h 7m 26s
Smoke tests	49m 9s
Nix (self-macos-14)	26m 52s
	4h 56m 21s

Provide feedback