The minLevel attribute is optional; it defaults to Debug so there's no point in setting it here.
Implemented a new SystemState module which will force initialization of the NHol modules in the correct order before running any unit tests.