[DBSP+SQL] a MAX ChainAggregate operator has an output that is always monotone #2805

However, the monotonicity analysis cannot take advantage of this fact.

• Need a DBSP operator that can inject the result of such an operator on the data plane into the waterline computation plane
• Compiler analysis to detect monotonicity
• Compiler optimization to use this new operator