updated WP2 with mention of relationship between QIO and Quipper, and thus the possibility of verifying the Quipper algorithm implementations