[SQL] Build a tool in the SQL compiler which can diagnose state that may grow infinitely #4990

We may need to devise some sort of annotations for the user to describe inputs in more detail.
We have append_only, but that may not be the only one needed.