[SyncWith:zkllvm#433]Split generate circuit and assignment

[akokoshn]

Split generation circuit and assignment table (circuit should not depend on inputs):

• Generate circuit for both true and false branches
• Allow run assigner only for generate circuit without inputs (flag --generate-type citcuit)

WARNING:

Not support dynamic loop till no component for handle it.
Not support bit_shift with not constant shift parameter.
Related issues:

• Closes Separate constraint system generation from assignment table generation #407
• Closes [Feature request]: generate constaraints for FALSE branch of runtime condition statement #433

[nil-foundation-cicd-bot]

Tests will be run in sync with other PRs containing [SyncWith NilFoundation/zkLLVM#433] in title. You can find related PRs as linked with mentioned issue.