Fixes: simplify patched instructions as we go, don't introduce extra patch requests when unspecialised code uses an argument, and don't mark anything tentative when running in single-threaded mode.