Add text to describe tests for operations.validation.
Add several subsections to operations.tex.