Added a check to Expr::verify()

This is a simple check that AList elements point to each other via 'prev' and 'next' properly.

It seems strange we did not have this check before, unless I missed it. Happily it always passes.