Test

Update dependency: deps/mx-semantics_release #1402

Job	Run time
Version Bump	4s
Code Quality Checks	2m 3s
Kasmer claim generation tests	48m 25s
Build and Test lemmas	51m 48s
Kmxwasm booster tests	21m 27s
Kmxwasm integration tests	48m 7s
Nix (self-hosted, linux, normal)	1h 36m 18s
Nix (self-macos-14)	58m 2s
Smoke tests	1h 11m 0s
	6h 37m 14s

Provide feedback