Test

Update dependency: deps/mx-semantics_release #1391

Job	Run time
Code Quality Checks	2m 9s
Version Bump	4s
Kmxwasm integration tests	28m 23s
Kasmer claim generation tests	38m 8s
Kmxwasm booster tests	48m 11s
Smoke tests	1h 13m 20s
Build and Test lemmas	53m 5s
Nix (self-hosted, linux, normal)	1h 9m 48s
Nix (self-macos-14)	54m 55s
	6h 8m 3s

Provide feedback