feat: prune `InnerForest`#1635

Open

drahnr wants to merge 20 commits intomainfrom

bernhard-cleanup-inner-forest-for-main

Commits on Feb 16, 2026

Commits on Feb 17, 2026

add test to ensure raw and hashed keys are disambiguated
drahnr
committed

Commits on Feb 18, 2026

Merge remote-tracking branch 'origin/main' into bernhard-cleanup-inner-forest-for-main
drahnr
committed

Commits on Feb 23, 2026

migrate to LargeSmtForest
drahnr
committed

Commits on Feb 24, 2026

Commits on Feb 25, 2026