Fix for an array-of-record model generation assert-fail (assert was too strong).
Fix comment in SmtEngine.
Update AUTHORS affiliations and add Martin.