test: Update testcases which used verify -D to use -E.

test/dios/options/main-args-c.c

 /* TAGS: min c */
-// VERIFY_OPTS: -D a=b -Dc=d
+// VERIFY_OPTS: -E a=b -Ec=d
 // PROGRAM_OPTS: test
 // SKIP_CC: 1
 

test/dios/options/main-args-d.c

 /* TAGS: min c */
-// VERIFY_OPTS: -D a=b -Dc=d -Dfootball
+// VERIFY_OPTS: -E a=b -Ec=d -Efootball
 // SKIP_CC: 1
 
 #include <dios.h>
 #include <assert.h>
 #include <string.h>
 
-int main( int argc, char **argv, char **envp ) {
+int main( int argc, char **argv, char **envp )
+{
     assert( argc == 1 );
     const char* test_name = "main-args-d.c";
     int tl = strlen( test_name );

test/libc/getenv1.c

 /* TAGS: min c */
-// VERIFY_OPTS: -Dnotpass -D TEST=passed
+// VERIFY_OPTS: -Enotpass -E TEST=passed
 #include <stdlib.h>
 #include <assert.h>
 

test/verify/env.cpp

 /* TAGS: min c++ */
-/* VERIFY_OPTS: -DFOO=blabla -DBAR=0 */
+/* VERIFY_OPTS: -EFOO=blabla -EBAR=0 */
 
 #include <cstdlib>
 #include <string>