Add proof checking.

This involved the addition of the ability to import SQL files in order
to simplify unit testing of the code.  At this point the protocol is in
a workable state.