pigjar-67 Add assertions to control module.
pigjar-67 Add invariant checks.
pigjar-67 Add invariant checks on transactions.
pigjar-67 Complete.
Merge pull request #72 from trin5tensa/pigjar-67

Pigjar 67