Add index witness construction from runtime dimensions and use it in tests#7

TurtlePU merged 21 commits into

mainneclitoris/mlambda:mainfrom

neclitoris/falsifyneclitoris/mlambda:neclitoris/falsifyCopy head branch name to clipboard