Make recursion program independent from the number of cycles / poseidons / dot products of the inner program#145

TomWambsgans merged 6 commits intomainleanEthereum/leanMultisig:mainfrom

general-recursionleanEthereum/leanMultisig:general-recursionCopy head branch name to clipboard