Fixed some globals; got rid of AssertArg() and inlined its uses to pave the way for var_ops's restructuring