monad no verbose

git-svn-id: https://subversion.cs.illinois.edu/svn/cs225@5040 6fbd10e7-183d-0410-a318-cb416676e4f2

.monadid

 monad identification file
 This file is used for monad directory identification
 Built by toole1 on linux3.ews.illinois.edu
-Build Date: Sat Oct 15 03:57:48 CDT 2011
+Build Date: Sat Oct 15 04:03:27 CDT 2011

proxy.cpp

@@ -32,7 +32,7 @@ using namespace monad_shared;
 
 namespace opts
 {
-	bool verbose = true;
+	bool verbose = false;
 	bool redirect_test_output = true;
 }