Implement clock reduction on SystemRecipe

Currently clock reduction is performed on `TransitionSystem`, and before it can be performed, a `SystemRecipe` has to be cloned and then compiled into a `TransitionSystem`. This (somewhat) contradicts the point of clock reuctions, since we construct the entire `TranstionSystem` without clock reduction to perform it.
To improve the performance of `Reveaal`, this analysis could be moved to `SystemRecipe`. The current implementation is very vigorous, and could be used as a benchmarking/comparison tool for a future version.

Start by tracing the existing clock-reduction analysis on TransitionSystem and the path that clones and compiles a SystemRecipe. Compare the current vigorous implementation as a benchmark, then verify that reduction can happen on SystemRecipe before constructing the full TransitionSystem while preserving the existing implementation for comparison.

Written by the indexing model from the issue text.