Use NetworkCompilerHelper instead of compiling manually in motest

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.