Rebase, fix determinism checks, start work on WK2 dispatch.