[WG-IDAssurance] Re: FIPS 140 and verifiers