Delete old x86 validator.

src/trusted/validator_x86/testdata/64/jump_not_atomic_1.test

Index: src/trusted/validator_x86/testdata/64/jump_not_atomic_1.test
diff --git a/src/trusted/validator_x86/testdata/64/jump_not_atomic_1.test b/src/trusted/validator_x86/testdata/64/jump_not_atomic_1.test
deleted file mode 100644
index 94f62ac20709f6f7910bb1330664a0f0d19d115e..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/jump_not_atomic_1.test
+++ /dev/null
@@ -1,40 +0,0 @@
-@hex:
-  # Models a jump into the middle of an instruction.
-  EB 02
-  83 e2 e0
-@val:
-  VALIDATOR: Checking jump targets: 0 to 5
-  VALIDATOR: ERROR: 4: Bad jump target
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@rval:
-  VALIDATOR: Checking jump targets: 0 to 5
-  VALIDATOR: ERROR: 4: Bad jump target
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@rvala:
-  VALIDATOR: Checking jump targets: 0 to 5
-  VALIDATOR: 4: Bad jump target
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@rvald:
-  VALIDATOR: Checking block alignment and jump targets: 0 to 5
-  VALIDATOR: 0000000000000000: eb 02                                        jmp 0x4
-  VALIDATOR: ERROR: Doesn't jump to instruction address
-  *** <input> IS UNSAFE ***
-@vd-rval:
-  VALIDATOR: Checking jump targets: 0 to 5
-  VALIDATOR: ERROR: 4: Bad jump target
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> IS UNSAFE ***
-@dis:
-  0000000000000000: eb 02                                        jmp 0x4
-  0000000000000002: 83 e2 e0                                     and %edx, 0xe0
-@vdis:
-  0000000000000000: eb 02                                        [P] dontcarejump %rip (s), 0x4 (u)
-  0000000000000002: 83 e2 e0                                     and %edx, 0xe0
-@rdfa_output:
-  0: [0] bad jump target
-  return code: 1
-@validators_disagree:
-  Because rdfaval reported jump location, not target.