Support Point Compression

[Merricx]

All elliptic curve points in ProvingKey, VerifyingKey, and Proof can be compressed such that each point only contains x coordinate. This will reduce the key and proof size to half with the cost of additional computation to decompress the key.