Fix semantic analysis for va_list now that it’s type is changed slightly.
Fix failing tests - don’t add the default address space to parameters if they have one explicitly.