v0.0.1 - additional optimizations

Reduces constraint cost of ECC operations by implementing several optimizations: secp256k1 PrimeReduce, lazy / deferred reductions, and smarter constraints (see this doc).

Also includes some bug fixes and additional tests.

initial release

3x86 bit register implementations of bigint and ecc zk circuits