proposal: correctly enumerate registered AEADs to build default IKE proposal