Implemented PrimeField#square_root for primes that are 3 mod 4.  It was easy.
Finished everything necessary to decode compressed points.