`Smt`: remove inner nodes when removing value#269

Merged

bobbinth merged 7 commits intonextfrom plafer-fix-246

Feb 4, 2024

+70-27

Commits on Feb 3, 2024

Commits on Feb 4, 2024

test: add assert for Smt empty leaves and nodes
bobbinth
committed