Test

Update dependency: deps/mx-semantics_release #1280

Job	Run time
Version Bump	8s
Code Quality Checks	7m 48s
Kasmer claim generation tests	33m 2s
Kmxwasm booster tests	31m 45s
Build and Test lemmas	37m 44s
Kmxwasm integration tests	34m 59s
Nix (self-hosted, linux, normal)	37m 52s
Smoke tests	31m 42s
Nix (self-macos-14)	4m 36s
	3h 39m 36s

Provide feedback