Test

Update dependency: deps/mx-semantics_release #1332

Job	Run time
Code Quality Checks	1m 56s
Version Bump	4s
Build and Test lemmas	30m 51s
Kasmer claim generation tests	27m 20s
Kmxwasm integration tests	21m 31s
Kmxwasm booster tests	29m 45s
Nix (self-hosted, linux, normal)	15m 11s
Nix (self-macos-14)	11m 51s
Smoke tests	28m 33s
	2h 47m 2s

Provide feedback