Generalize bounds checking from variables to lvalues

[kkjeer]

Bounds checking for variables uses an observed bounds context to track the inferred bounds for each in-scope variable. This bounds context is then used to validate the bounds of all in-scope variables after each statement S in a CFG block B.

PR #970 adds a document that describes this work in more detail.