MinimizationOperations

Simplified minimization utilities. These only determinize and remove dead states, which is enough for basic correctness checks used by tests.