script: add redundant tests to math ops.

Author: nodech

test/data/script-tests.json

@@ -10735,6 +10735,18 @@
     "flags": [],
     "result": "NEGATIVE_LOCKTIME"
   },
+  {
+    "comments": "CHECKLOCKTIMEVERIFY automatically fails if stack top is negative",
+    "script": "OP_CHECKLOCKTIMEVERIFY",
+    "value": 0,
+    "witness": [
+      "81"
+    ],
+    "locktime": 0,
+    "sequence": 4294967295,
+    "flags": [],
+    "result": "NEGATIVE_LOCKTIME"
+  },
   {
     "comments": "CSV fails if stack top is not minimally encoded",
     "script": "OP_CHECKSEQUENCEVERIFY",