Refactor option configurations

[konnov]

The current version relies on pureconfig. As a result, when passing parameters from quint verify, we have a configuration file like this:

{
    "common": {
      "write-intermediate": true,
      "debug": true
    },
    "checker": {
        "discard-disabled": false,
        "no-deadlocks": true,
        "algo": "incremental",
        "tuning": {
            "search.invariant.mode": "after",
            "search.invariantFilter": "(1->.*)"
        }
    }
}

On the other hand, the option processing code is processing options like this:

apalache/mod-infra/src/main/scala/at/forsyte/apalache/infra/passes/options.scala

Lines 683 to 692 in 9d89eb3

	for {
	algo <- checker.algo.toTry("checker.algo")
	discardDisabled <- checker.discardDisabled.toTry("checker.discardDisabled")
	length <- checker.length.toTry("checker.length")
	noDeadlocks <- checker.noDeadlocks.toTry("checker.noDeadlocks")
	smtEncoding <- checker.smtEncoding.toTry("checker.smtEncoding")
	tuning <- checker.tuning.toTry("checker.tuning")
	maxError <- checker.maxError.toTry("checker.maxError").flatMap(validateMaxError)
	timeoutSmtSec <- checker.timeoutSmtSec.toTry("checker.timeoutSmtSec")
	} yield Checker(

What is worse, if I pass discardDisabled: true instead of discard-disabled: true in the configuration file, the configuration parser does not complain.

We have to streamline configuration parsing and get rid of unnecessary complexity. Currently, it is very hard to understand what parameters have to be passed, even by reading the code.