Introduces the MigrationSystemDictator and slightly refactors both
SystemDictator contracts to deduplicate shared code.