Address space limit test doesn't work

[smowton]

CBMC is supposed to throw if we try to analyse a problem with >254 distinct objects (8-bit address space, plus null and invalid_ptr). However the test doesn't currently work. Suggest cherry-picking smowton@5f89782