Test

EXPERIMENT: refactored get buffer on top of remove-mapint2int #1346

Job	Run time
Version Bump	4s
Code Quality Checks	2m 24s
Kasmer claim generation tests	19m 34s
Build and Test lemmas	18m 46s
Kmxwasm integration tests	18m 45s
Kmxwasm booster tests	19m 34s
Nix (self-hosted, linux, normal)	18m 49s
Smoke tests	18m 45s
Nix (self-macos-14)	11m 35s
	2h 8m 16s

Provide feedback