fix: remove out of bound witnesses when truncating the memory#52

Forpee merged 3 commits intoICME-Lab:mainICME-Lab/zkEngine_dev:mainfrom

ecioppettini:enzo/remove-out-of-bounds-witnesses-after-truncating-memoryecioppettini/zkEngine_dev:enzo/remove-out-of-bounds-witnesses-after-truncating-memoryCopy head branch name to clipboard