Internal: driver to test ArgumentValues optimization typechecks