Fixed a match limit issue with combineAdder
Added comparator circuits
Adding carry function aggregation for comparator functions