Fix emitting switch instructions which are resolved but have more than one value associated with the target block
Fix emitting PHI instructions after synthesised pointers which are non-PHI instructions
Fix generating return instructions that are "dead" in varargs contexts