Add a Data Checker backend for dataset validation/assessment using Newton descriptions

[KomaGR]

A Newton description is a specification of a physical system (even if sometimes a partial specification). We can use this specification as a set of expectations for datasets produced from the given system. We suggest to create a pass or backend for the Newton compiler that will enable Newton to act as a Data Checking tool when called with the appropriate parameters.

The Data Checker should take into account the uncertainty characteristics for Signals and Sensors.

The output of the Data Checker could be Yes or No but it could also be the extend to which the dataset follows the Newton description/constraints. In the latter case we would need to use some sort of distance.

Example

TODO: add a relevant example.

Notes
It would be very interesting for the Data Checker to be able to check for relationships across time for a given data stream and not only between values of the same time index. We can re-use syntax for State Estimator Synthesis for this.