Merging for efficient conditionals

[gshen42]

Currently, HasChor projects a conditional to a broadcast at the sender side, which can be inefficient in certain cases. An efficient way to project conditionals, from the literature, is merging. With merging, the user can also control how the knowledge of choice is propagated (rather than always from the location that owns the choice).