fix DBG run. New type checking requires passing arrays as arrays for assertions. Stricter forwarding of source markers. Allow sync points to jump back arbitrary amounts.
fix `DBG` run. New type checking requires passing arrays as arrays for assertions. Stricter forwarding of source markers. Allow sync points to jump back arbitrary amounts.