[verifier]Since 4.5 arrays now implement IReadOnlyList<T> and IReadOnlyCollection<T>. Verify this properly. Fixes #13879.
[verify]Relax the restriction on global methods visibility. Fixes #13890.