Test

Update dependency: deps/mx-semantics_release #1374

Job	Run time
Code Quality Checks	2m 33s
Version Bump	7s
Build and Test lemmas	41m 44s
Kasmer claim generation tests	52m 53s
Kmxwasm booster tests	24m 34s
Kmxwasm integration tests	33m 36s
Nix (self-hosted, linux, normal)	48m 46s
Nix (self-macos-14)	27m 1s
Smoke tests	49m 9s
	4h 40m 23s

Provide feedback