Changing gas cost to zero at stackunderflow

Author: CJentzsch

randomTests/201410211657.json

@@ -1128,4 +1128,4 @@
             }
         }
     }
-}
+}

randomTests/201410211701.json

@@ -1170,7 +1170,7 @@
             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
             "value" : "1000000000000000000"
         },
-        "gas" : "9999",
+        "gas" : "10000",
         "out" : "0x",
         "post" : {
             "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
@@ -1369,4 +1369,4 @@
             }
         }
     }
-}
+}