Verify stack nature of instructions.