Test

Update dependency: deps/mx-semantics_release #1427

Job	Run time
Version Bump	3s
Code Quality Checks	2m 33s
Kmxwasm booster tests	36m 5s
Build and Test lemmas	55m 53s
Kasmer claim generation tests	26m 49s
Kmxwasm integration tests	28m 34s
Nix (self-hosted, linux, normal)	35m 26s
Smoke tests	1h 16m 12s
Nix (self-macos-14)	25m 26s
	4h 47m 1s

Provide feedback