Range sets cannot handle negative offsets in byte extracts

[peterschrammel]

The test regression/cbmc/full_slice3 (#2525) currently crashes at https://github.com/diffblue/cbmc/blob/develop/src/analyses/goto_rw.cpp#L157