Refactored model checking dialog + options PROBPLUGIN-62