Test

Update dependency: deps/mx-semantics_release #1441

Job	Run time
Version Bump	5s
Code Quality Checks	2m 12s
Kasmer claim generation tests	44m 5s
Kmxwasm integration tests	31m 42s
Build and Test lemmas	44m 15s
Kmxwasm booster tests	35m 19s
Nix (self-hosted, linux, normal)	49m 20s
Nix (self-macos-14)	44m 0s
Smoke tests	48m 22s
	4h 59m 20s

Provide feedback