feat: prune InnerForest#1635

drahnr wants to merge 24 commits intomain0xMiden/node:mainfrom

bernhard-cleanup-inner-forest-for-main0xMiden/node:bernhard-cleanup-inner-forest-for-mainCopy head branch name to clipboard