feat(ssa): Hoist add and mul binary ops using known induction variabl… #3180

Job	Run time
Create Release	21s
Update acvm workspace package versions	59s
Build binaries	0s
Publish acvm	0s
Publish ES packages	0s
Update docs	8m 17s
Release End	2s
	9m 39s

Provide feedback