fix: Update parameter resolution in new resolver (#5884)

The old and new resolvers had got out of sync in how they resolve
parameters, especially with regard to `nameonly` parameters and
parameters with default values. Apparently, a change in this behavior
had been rolled into the old resolver, but not the new. This PR brings
the new resolver up to date.

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

Dafny v4.9.0

Dafny v4.8.1

Dafny v4.8.0

Dafny v4.7.0

Dafny v4.6.0

Dafny v4.5.0

Dafny v4.4.0

Dafny v4.3.0

Dafny v4.2.0