I decided to re-run all of the tests again and summarise my findings for each case.
In photo mode:v1AFL enabled: SD visible. Requested focus achieved immediately.
AFL disabled: SD visible. Crash.
v2AFL enabled: SD visible. Requested focus achieved immediately.
AFL disabled: SD not visible. Autofocus; requested focus not achieved.
v3AFL enabled: SD visible. Requested focus achieved immediately.
AFL disabled: SD visible. Autofocus; requested focus not achieved.
In movie mode:v1AFL enabled: SD visible. Requested focus achieved immediately.
AFL disabled: SD visible. Autofocus seeks then requested focus achieved.
v2AFL enabled: SD visible. Requested focus achieved immediately.
AFL disabled: SD not visible. Autofocus seeks then requested focus achieved.
v3AFL enabled: SD visible. Requested focus achieved immediately.
AFL disabled: SD visible. Autofocus seeks then requested focus achieved.
One other thing that I have noticed -- and I'm not sure that it's related -- is that sometimes when I press DISP to select infinity focus I get 65535, but other times I get 65502.