Add default rake task to run proofs

I noticed that running the proofs was a little awkward for the first time. It's handy to be able to pull down the repository and just run `rake` to get the tests to run.