fix: improve leaf index validation#227

henriquemarlon wants to merge 2 commits intocartesi:maincartesi/dave:mainfrom

henriquemarlon:fix/integer-overflowhenriquemarlon/dave:fix/integer-overflowCopy head branch name to clipboard