Test more assignments involving bounds-safe interfaces

[dtarditi]

We have a test of an assignment to a variable with a bounds-safe interface. We should add tests for other kinds of assignments involving lvalue expressions with bounds-safe interfaces work. The missing cases are member assignment and assignment through a pointer.