Test

Update dependency: deps/mx-semantics_release #1404

Job	Run time
Code Quality Checks	2m 0s
Version Bump	4s
Kmxwasm booster tests	40m 18s
Kmxwasm integration tests	30m 49s
Kasmer claim generation tests	45m 10s
Build and Test lemmas	47m 56s
Nix (self-hosted, linux, normal)	1h 11m 33s
Smoke tests	1h 5m 9s
Nix (self-macos-14)	58m 53s
	6h 1m 52s

Provide feedback