Same as with_plan_5 and with_plan_6, but with further tweaks to help the LLM use check-unsafe2. Also, I think for those two runs I failed to update the docker image with the fixes to cargo check-unsafe2, so this run is also testing that fix.