WyC: updated ant task to support verification flag.