This implements array push and pop as intrinsics. Also: * Tighten up some assertions while I'm in here. * Default initialize pointer slots to Null, if not done explicitly.