Added a check to Expr::verify()
Merge pull request #615 from vasslitvinov/add-a-verify-check

Added a check to Expr::verify()
that all AList elements point to each other via 'prev' and 'next' properly.