Added validation to case studies tests.
Completed basic proof rules test coverage.