Test

Remove typed maps #1340

Job	Run time
Version Bump	3s
Version Bump	3s
Code Quality Checks	2m 8s
Code Quality Checks	2m 8s
Kmxwasm integration tests	35m 44s
Kmxwasm integration tests	35m 44s
Build and Test lemmas	34m 59s
Build and Test lemmas	34m 59s
Kmxwasm booster tests	16m 54s
Kmxwasm booster tests	16m 54s
Kasmer claim generation tests	16m 15s
Kasmer claim generation tests	16m 15s
Nix (self-hosted, linux, normal)	35m 43s
Nix (self-hosted, linux, normal)	35m 43s
Smoke tests	28m 28s
Smoke tests	28m 28s
Nix (self-macos-14)	11m 37s
Nix (self-macos-14)	1m 50s
	5h 53m 55s

Provide feedback