adjust the cost of secp256k1_verify upwards by 450k

[arvidn]

Since the secp256 operators are implemented using the unknown operators, the opcode determine its cost, and vice versa. In order to alter the cost, this patch also need to alter the opcode.

The new secp256k1_verify opcode is: 0x13d61f00 The new cost of secp256k1_verify is: 1300000 (the cost is fixed, not related to what arguments are passed)

[coveralls-official[bot]]

Pull Request Test Coverage Report for Build 5276757095

• 2 of 2 (100.0%) changed or added relevant lines in 2 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 92.937%

---

Totals
Change from base Build 5276652808:	0.0%
Covered Lines:	5092
Relevant Lines:	5479

---

💛 - Coveralls