I'm really confused now... the flow of the discussion above suggests that the main attraction to the RAF of the F35-B is the reduced landing training burden, and therefore the ability to do short "RAF-style" detachments to the boat.
However, if carrier autoland is going to be feasible, this will significantly reduce the training burden associated with CATOBAR and make it easier to do short detachments with the F35-C..... so why would you not choose the -C?
I'd be very wary of anyone who says STOVL in the F35-B will be simple. The RAF has a special way of making everything at least twice as difficult as it needs to be!