Support array.len#262

cyberbono3 wants to merge 5 commits into

zksecurity:mainzksecurity/noname:mainfrom

cyberbono3:array-lencyberbono3/noname:array-lenCopy head branch name to clipboard