WYCS: well, making some progress in getting the compiler to actually use the new verifier stuff.
WYCS: ok, the wyil verification check is now generating valid WycsFile's which are being verified by the Wycs Verifier.  It's basically all working, but needs lots of work yet!!