Test

Deprecate `klabel` attribute #1330

Job	Run time
Code Quality Checks	2m 17s
Version Bump	4s
Kasmer claim generation tests	20m 0s
Build and Test lemmas	30m 48s
Kmxwasm booster tests	15m 49s
Kmxwasm integration tests	30m 1s
Nix (self-hosted, linux, normal)	37m 9s
Smoke tests	29m 58s
Nix (self-macos-14)	26m 53s
	3h 12m 59s

Provide feedback