VL: add support for `define macros with arguments

This turns out to be pretty hideous.  Added a few systests to try
to test it.  Started toward extending VL systests to VCS instead of
just NCV, but that's probably not working yet.
fix bug with memoize tests