Text this: Computability and Complexity Results for a Spatial Assertion Language for Data Structures