Change verification key points in contract to constant

[saleel]

The VK_POINTS points variable storing the verification key points in the contract is not a constant.

The value will be stored in storage slots and would require reading every time. If this could be changed to a constant, the value will be part of the bytecode and verification will be cheaper (and also better performance I think).

Since this is an array it cannot be marked as constant directly, so other techniques need to be explored.