Test

Update dependency: deps/mx-semantics_release #1423

Job	Run time
Version Bump	6s
Code Quality Checks	2m 29s
Kmxwasm integration tests	55m 19s
Build and Test lemmas	51m 21s
Kasmer claim generation tests	47m 3s
Kmxwasm booster tests	39m 9s
Nix (self-hosted, linux, normal)	35m 42s
Smoke tests	1h 2m 21s
Nix (self-macos-14)	25m 14s
	5h 18m 44s

Provide feedback