Empty array for zero arguments passed to params parameter

We use Array.Empty() to create a zero-element array to pass to a params method when no arguments correspond. The language spec requires a new array, so it is a language change. This is a placeholder for the specification.