Represent array type lengths as BigInt#1022

ArquintL merged 2 commits into

masterviperproject/gobra:masterfrom

split-pr531-array-size-bigintviperproject/gobra:split-pr531-array-size-bigintCopy head branch name to clipboard