implement Length instruction, and add to zBC_HEAP_THM