rework checkpoint mem estimation (#4055) #12265

Job	Run time
rustfmt check	17s
sanity checks	10s
clang format	32s
python lint check	24s
rust build & test	6m 17s
clang tidy & clangd diagnostics check	24m 25s
generate binary dataset	1m 43s
shell test	11m 19s
clang build & test	9m 22s
code coverage	27m 36s
gcc build & test 32-bit	37m 25s
gcc build & test	32m 2s
apple clang build & test (arm64)	38m 34s
msvc build & test	32m 26s
apple clang build & test (x86_64)	12m 34s
macos extension test	2m 3s
gcc build & test with asan	27m 39s
linux extension test	3m 22s
benchmark / benchmark	6m 52s
windows extension test	3m 52s
report benchmark result	0s
	4h 38m 54s

Provide feedback