motest currently manages all the steps of compiling an `AutomataNetwork` manually. This prevents better encapsulation of the compilation process in the Exploration project. It should be possible with very limited effort to make motest use `NetworkCompilerHelper.Compile` and related methods instead.