Computability and Complexity Results for a Spatial Assertion Language for Data Structures