CI check for memory errors

[dtebbs]

Some of the tests which use the r1cs_example and create and verify a zksnark fail intermittently on mac. Re-running the same executable about 10 times, the tests fail approx 8 times.

This smells very much like a memory error of some kind, so it would be great to start running valigrind on the CI.