> These checks do not audit the specpdl balance directly but that would be something to add if you don't make further progress.

You could try this patch if you build with --enable-checking=all: