Add IR Op argument register class contraints to enforce validation
Let each argument specify its incoming register class to enforce validation in the validation pass.
Currently we have no way to detect bad IR in this way