borrowck: classify expressions as assignees, uses or both

- Repurposes `MoveData.assignee_ids` to mean only `=` but not `+=`, so
  that borrowck effectively classifies all expressions into assignees,
  uses or both.
- Changes two `span_err` to `span_warn` in liveness analysis, which are
  now borrowck's responsibilities.

Closes #12527.