assert,util: fix stale nested cycle memo entries #4865

Job	Run time
Build slim tarball	2m 4s
aarch64-darwin: with shared libraries	17m 54s
x86_64-linux: with shared libraries	21m 9s
aarch64-linux: with shared libraries	18m 23s
x86_64-darwin: with shared libraries	30m 34s
	1h 30m 4s

Provide feedback