update NEWS file
partially address bug 486: allow some model inspection of quantifiers