Add tests that check that the right exceptions get thrown for invalid withfield operands. For example:

1. Test a stack operand that is null

2. Test a stack operand that is an identity type

3. Test that stack operand and field class are different inline types