Added caesar_template_verifier.

I believe these are all of the test cases required. Pretty sure my
logic in checking them is sound as well. Pretty tired though, so I'll
go through it again tomorrow.