Document and test requireSomeUintError#1941

Th0rgal merged 1 commit into

mainlfglabs-dev/verity:mainfrom

docs-tests-require-some-uint-errorlfglabs-dev/verity:docs-tests-require-some-uint-errorCopy head branch name to clipboard