a) Go forward with Teredo, hone the deployment implications in the
unmanaged analysis in parallel (if and as appropriate),
My preference is for a). I agree with the reasons you and others specified.
Suggest publishing the current draft real soon now and plan on revising it
in a year or two after there is more implementation and operational experience.