chore: backport `LargeSmtForest` to 0.19.x branch#834

Merged

drahnr merged 3 commits intoversion/0.19.xfrom

bernhard-backport-large-smt-forest-to-0.19.x-branch

Feb 18, 2026

Commits on Feb 17, 2026

backport large smt forest to 0.19.x

iamrecursion
authored and
drahnr
committed

Commits on Feb 18, 2026