Move the validation code into the val:: namespace (#1682)

This CL moves the validation code to the val:: namespace. This makes it
clearer which instance of the Instruction and other classes are being
referred too.