Io verification

A rewrite of IO part of test chapter. Will likely need more work, but this rewrite has a more appropriate format than the old.
Also merged "io_testing.tex" into testing directory.