AA: Fix a typo.
AA: Also generate per-value (non-AML) annotations in Andersen.
AA: Implement copy constraints (and fix deref).
AA: Generate copy constraints for bitcast, inttoptr, ptrtoint.