Fix initialization of TupleExps with static array members.

Just as for structs, `DVarValue::getRVal()` doesn't dereference the
address for these.

GitHub: Fixes #797.
Merge pull request #798 from klickverbot/tuple-sarray

Fix initialization of TupleExps with static array members.