swift234

Refactor out code for checking operands into checkLegalTypes and enable checking (via checkLegalTypes) of generic types of SILArguments/SILInstructions.

These checks will make sure that any SILArgument, SILInstruction that is
generic has a primary archetype that matches a primary archetype in the
generic parameter list of the function which contains it.

Swift SVN r15281