Controlled-Addition implementation

[skushnir123]

[mpharrigan]

This should be a separate bloq since there's more conditional if-ed code than shared code

[skushnir123]

This should be a separate bloq since there's more conditional if-ed code than shared code

Ok I changed this to be another separate bloq