style: update errors & tests for Resolver

[jaschdoc]

• Ensure every error has at least 3 tests
• Ensure errors occur in alphabetical order
• Ensure errors are tagged with Recoverable or Unrecoverable
• Ensure tests occur in alphabetical order
• Check that test names and errors match

Related to #6817

[jaschdoc]

This should be a failure, right?

  test("MismatchedOpArity.InvalidOpParamCount.Do.01") {
    val input =
      """
        |eff E {
        |    pub def op(): Unit
        |}
        |
        |def foo(): Unit \ E = do E.op(123)
        |""".stripMargin
    val result = compile(input, Options.TestWithLibNix)
    expectError[ResolutionError.MismatchedOpArity](result)
  }