Finish writing the test for the proof correctness in test/Ristretto.hs

```
          assertEqual "The public key matches the signing key." expectedPublicKey publicKey
          assertEqual "The number of signatures equals the number of tokens." (length blindedTokens) (length signatures)
          -- XXX The proof checks out
```
