Removed bad file (OrVerifiable) and added tests for console output.