update perf tests for removed deprecations
improve compile-time method matching logic

don't consider typevars unmatched if we can prove that they would be
matched by any actual call.

fixes #5575

slightly expand some array constructor signatures so `Type{<:Top}` matches
them, not just `Type{<:Any}`.