Noamp/only codegen for all#258

noam-starkware wants to merge 2 commits intoyairv/various_bumpsstarkware-libs/proving-utils:yairv/various_bumpsfrom

noamp/only_codegen_for_allstarkware-libs/proving-utils:noamp/only_codegen_for_allCopy head branch name to clipboard