Add focus tactic for quickcheck so we can convert them to lec#676

lsrcz wants to merge 2 commits intomainxlsynth/xlsynth-crate:mainfrom

siruilu-20251112-focus-for-qcxlsynth/xlsynth-crate:siruilu-20251112-focus-for-qcCopy head branch name to clipboard