Delete old x86 validator.

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

Index: src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.test
diff --git a/src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.test b/src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.test
deleted file mode 100644
index a7b2394bdc9e28d107daae46be74044df25b7118..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/mov_esp_add_rsp_r15.test
+++ /dev/null
@@ -1,31 +0,0 @@
-@hex:
-  # Show example of:
-  #   mov %esp, %r13d
-  #   add %rsp, %r15
-  # Should be legal since the mov zero extends a 32-bit address for a legal value for the corresponding
-  # rsp.
-  44 89 ec \\
-  4c 01 fc
-@val:
-  VALIDATOR: Checking jump targets: 0 to 6
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rval:
-  VALIDATOR: Checking jump targets: 0 to 6
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rvald:
-  VALIDATOR: Checking block alignment and jump targets: 0 to 6
-  *** <input> is safe ***
-@vd-rval:
-  VALIDATOR: Checking jump targets: 0 to 6
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@dis:
-  0000000000000000: 44 89 ec                                     mov %esp, %r13d
-  0000000000000003: 4c 01 fc                                     add %rsp, %r15
-@vdis:
-  0000000000000000: 44 89 ec                                     mov %esp, %r13d
-  0000000000000003: 4c 01 fc                                     add %rsp, %r15
-@rdfa_output:
-  return code: 0