Noamp/only opt and lto for all#259

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

noamp/only_opt_and_lto_for_allstarkware-libs/proving-utils:noamp/only_opt_and_lto_for_allCopy head branch name to clipboard